This repository is not active
nameiwillforget/hegel-in-mathematics
My exposition of the formalization of Hegel's theory in modal homotopy type theory
TeXGPL-3.0
My exposition of the formalization of Hegel's theory in modal homotopy type theory
TeXGPL-3.0
This repository is not active