Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
288
stars
72
forks
source link
Added "import tactic.tauto -- useful high-powered tactic" #113
Closed
hmonroe closed 10 months ago
I have not done a live test of this