Thursday, June 25, 2026

New section in "Hegel and Modern Topology"

The most recent version of "Hegel and Modern Topology" includes a new 4 page section: "Formalization of Hegel's Logic of Concept".

No comments:

Post a Comment

Is Idris 2 the ultimate proof assistant and foundation of logic?

Our dream is to devise a proof assistant which combines the best aspects of Coq/Rocq and Agda.  The idea is to have a core minimalist versio...