search

nameiwillforget / hegel-in-mathematics

My exposition of the formalization of Hegel's theory in modal homotopy type theory
GNU General Public License v3.0
12 stars 1 forks source link

issues

Newest
Newest Most commented Recently updated Oldest Least commented Least recently updated