GRASS - free and open-source geospatial processing engine
- grass-gis
- geospatial
- geospatial-analysis
- raster
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
A formalization of geometry in Coq based on Tarski's axiom system
47,133 repositories indexed
1–2 of 2 · Most stars
GRASS - free and open-source geospatial processing engine
A formalization of geometry in Coq based on Tarski's axiom system