Reading up on Cubical Agda
1 deep · digging since sep 12
- Introduction - Hegel's Logic in Cubical Agda
This introduction outlines a Cubical Agda tutorial that formalizes fragments of Hegel’s Science of Logic, detailing navigation, reading tracks, and verification sections.