One line. Many voicesSeek and you shall find

ddebruce.github.io faviconIntroduction - Hegel's Logic in Cubical Agda

kept by

This introduction outlines a Cubical Agda tutorial that formalizes fragments of Hegel’s Science of Logic, detailing navigation, reading tracks, and verification sections.

read later

For all the tabs you promised to read.
Save to read. Read to clear.

Close tabs. Keep links.