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

Ch. 6 "Using the Library" link broken

Open Morgan-Sinclaire opened this issue 6 months ago • 0 comments

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

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

Morgan-Sinclaire avatar Aug 28 '24 02:08 Morgan-Sinclaire