My exposition of the formalization of Hegel's theory in modal homotopy type theory
Primary LanguageTeXGNU General Public License v3.0GPL-3.0