Simple Lean proof alongside 'handwritten' proof.

Stream: new members

[Chris Taylor]

Are there any resources which show both a Lean proof and its corresponding manual / handwritten proof? This would be really useful for learning.

[Notification Bot]

This topic was moved here from #new members > Simple Lean proof alongside a 'handwritten' proof. by Chris Taylor.

[Moritz Doll]

Heather Macbeth's Mechanics of Proof does exactly this. https://hrmacbeth.github.io/math2001/

[Chris Taylor]

Perfect! Thank you.