Formalization
Formalization
The geometry game
A Lean Game to learn Hilbert geometry and formalization.
You can also try the older (and deprecated) Lean 3 game.
Formalització a la secundària
Xerrada sobre "Ensenyant formalització a través de LEAN".
A Lean Game to learn Hilbert geometry and formalization.
You can also try the older (and deprecated) Lean 3 game.
Xerrada sobre "Ensenyant formalització a través de LEAN".