GitHub repository: nameiwillforget/hegel-in-mathematics
Primary language: TeX
Description: My exposition of the formalization of Hegel's theory in modal homotopy type theory