issues
search
leanprover
/
theorem_proving_in_lean
Theorem proving in Lean
Apache License 2.0
47
stars
47
forks
source link
Correct spelling depedencies -> dependencies
#110
Closed
hmonroe
closed
1 year ago