Highschoolgeometry
Geometry in Coq for French high school [maintainer=@thery]
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Geocoq | 157 | 6 months ago | 6 | lgpl-3.0 | Coq | |||||
| A formalization of geometry in Coq based on Tarski's axiom system | ||||||||||
| Coq Robot | 23 | 4 months ago | 4 | Coq | ||||||
| Mathematics of Rigid Body Transformationss using Coq and MathComp | ||||||||||
| Highschoolgeometry | 15 | 4 months ago | lgpl-2.1 | Coq | ||||||
| Geometry in Coq for French high school [maintainer=@thery] | ||||||||||
| Math Formalizations | 8 | 4 years ago | Coq | |||||||
| Formalization of some elementary mathematical theories in Coq | ||||||||||
| Diffgeo | 5 | 3 years ago | Coq | |||||||
| A formalization of synthetic differential geometry in Coq using infinitesimal analysis | ||||||||||
Alternatives To HighschoolgeometrySelect To Compare
Alternative Project Comparisons
Popular Coq Projects
Popular Geometry Projects
Popular Mathematics Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Geometry
Coq