TOTBWF / agda-sgd

Experiments in Synthetic Differential Geometry
15Updated 3 years ago

Related projects

Alternatives and complementary repositories for agda-sgd