issues
search
leanprover
/
theorem_proving_in_lean4
Theorem Proving in Lean 4
https://leanprover.github.io/theorem_proving_in_lean4/
Apache License 2.0
159
stars
85
forks
source link
fix: replace placeholder link with FPiL
#97
Closed
david-christiansen
closed
8 months ago