/natural-number-game

Having some fun with the Lean theorem prover

Primary LanguageLean

This repository is not active