Logic as a Spiritual Practice
Notes on using theorem provers for contemplation rather than verification.
Thinking
Long-form build logs, design philosophy, and reveries.
Long-form build logs, design philosophy, and reveries.
Notes on using theorem provers for contemplation rather than verification.