b-mehta / topos

Topos theory in lean

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

b-mehta/topos Stargazers