theorem_proving_in_lean4 icon indicating copy to clipboard operation
theorem_proving_in_lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

Page not found

Open dataopt opened this issue 1 year ago • 1 comments

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.

dataopt avatar Jul 04 '23 13:07 dataopt

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

int-y1 avatar Sep 12 '23 06:09 int-y1