OK Geometry News
Explore constructions
Use OK Geometry to create proving tasks of varying difficulty based on simple constructions.
Read moreCreate deductive proofs
The prover in OK Geometry provides, when successful, human-readable deductive proofs.
Read moreObserve formulae in constructions
OK Geometry now observes complex algebraic relationships between geometric quantities in a dynamic construction.
Read moreGeneric constructions
Construct a family of dynamic constructions. Study individually the constructions in a family and observe the whole family for constructions that meet specified properties.
Read moreAdvanced query
Advanced query relates an object to auxiliary poins derived from a declared subset of objects in a configuration.
Read more