can there be a epub format for this ?

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

Open thegarlynch opened 1 year ago