3 results found Sort:
A DSL for the internal language of a topos
Created
2014-06-24
1,426 commits to master branch, last one 7 months ago
Topos theory in lean
Created
2020-02-16
257 commits to master branch, last one 3 years ago
Notes on how to use the internal language of toposes in algebraic geometry
Created
2014-03-13
1,553 commits to master branch, last one about a month ago