Reading up on Hegel
2 deep · digging since sep 12
- The life you want is on the other side of negative emotions.
Avoiding negative emotions stalls growth; embracing them reveals the life you desire by breaking the self‑improvement loop that merely deflects feeling.
- 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.