A game for learning Lean 4 where a cute little smart-elf joins you on your exploration of the Leaniverse.
Latest commits.
Builders behind this project.
