diffgeo

A formalization of synthetic differential geometry in Coq using infinitesimal analysis (by bollu)

diffgeo reviews and mentions

Posts with mentions or reviews of diffgeo. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning diffgeo yet.
Tracking mentions began in Dec 2020.

Stats

Basic diffgeo repo stats
1
9
10.0
over 2 years ago

The primary programming language of diffgeo is Coq.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com