euclid topic
List
euclid repositories
byrne-euclid
1.2k
Stars
102
Forks
Watchers
MetaPost + ConTeXt rendition of Oliver Byrne's "The first six books of the Elements of Euclid"
GalSim
216
Stars
103
Forks
Watchers
The modular galaxy image simulation toolkit. Documentation:
GeoCoq
175
Stars
26
Forks
Watchers
A formalization of geometry in Coq based on Tarski's axiom system
euclid
27
Stars
8
Forks
Watchers
Vector math, geometry, reference frame, and shapes 2D & 3D
math-formalizations
15
Stars
0
Forks
Watchers
Formalization of some elementary mathematical theories in Coq