search

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4
https://leanprover.github.io/theorem_proving_in_lean4/
Apache License 2.0
148 stars 82 forks source link

Page not found #71

Open dataopt opened 1 year ago

dataopt commented 1 year ago

In Chapter 6 Interacting with Lean under Using the Library, the link in the second bullet https://github.com/leanprover/lean4/tree/master/src/Std leads to a page that is not available.

int-y1 commented 10 months ago

Fixed in #47, and pushed to the main site sometime last week.