Hegel's Logic in Cubical Agda

(ddebruce.github.io) by hackandthink | Sep 12, 2026 | 0 comments on HN