search

b-mehta / topos

Topos theory in lean
55 stars 2 forks source link

Lean 3.6.1 and new mathlib #29

Closed Vtec234 closed 4 years ago