This is a copy of the wonderful Theorem Proving in Lean 4. This copy includes some additional things, such as solutions to exercises, and webpages where you can walk through the proof state in the browser.
connorbaker / theorem-proving-in-lean4 Goto Github PK
View Code? Open in Web Editor NEWHome Page: https://connorbaker.github.io/theorem-proving-in-lean4/