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

fix link to standard library #47

Closed mjgrzymek closed 2 years ago

mjgrzymek commented 2 years ago

Looks like it was moved, please check that this is correct because I haven't seen the old one.