search

b-mehta / topos

Topos theory in lean
56 stars 2 forks source link

evaluation and coevaluation for cartesian closed cats #17

Closed b-mehta closed 4 years ago

EdAyers commented 4 years ago

51f9dd0