An educational video game featuring an embedded proof assistant. Because the scope of the project is so large, it is expected that there will be many releases of increasing quality and feature-richness.
30 Day SummaryDec 31 2024 — Jan 30 2025
|
12 Month SummaryJan 30 2024 — Jan 30 2025
|