search

b-mehta / topos

Topos theory in lean
55 stars 2 forks source link

add a readme with build instructions etc #8

Closed EdAyers closed 4 years ago