3 results found Sort:

3
61
unknown
10
A DSL for the internal language of a topos
Created 2014-06-24
1,426 commits to master branch, last one 7 months ago
2
56
unknown
9
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