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

Ch. 6 "Using the Library" link broken #127

Open Morgan-Sinclaire opened 3 months ago

Morgan-Sinclaire commented 3 months ago

Ch. 6, section "Using the Library" has the following broken link:

https://github.com/leanprover-community/batteries/tree/main/Std