/hegel-in-mathematics

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

Primary LanguageTeXGNU General Public License v3.0GPL-3.0

This repository is not active