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.
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.
https://connorbaker.github.io/theorem-proving-in-lean4/