search

b-mehta / topos

Topos theory in lean
56 stars 2 forks source link

Put a roadmap here #2

Closed b-mehta closed 4 years ago

b-mehta commented 4 years ago

Extend the roadmap I gave in the zulip chat and put it here, and possibly create github projects for them