Lean Game for Argo Course 2023
Primary LanguageLeanOtherNOASSERTION
A game to learn LEAN and axiomatic geometry, using Hilbert axioms.