issues
search
leanprover
/
theorem_proving_in_lean4
Theorem Proving in Lean 4
https://leanprover.github.io/theorem_proving_in_lean4/
Apache License 2.0
164
stars
92
forks
source link
chore: update to new termination_by syntax
#95
Closed
nomeata
closed
10 months ago