nameiwillforget/hegel-in-mathematics

My exposition of the formalization of Hegel's theory in modal homotopy type theory

语言：TeX · GitHub 星标：14 · Fork：1

在 GitHub 上查看原仓库