Tariq

You don't need a PhD to start writing simple maths proofs in Lean.

This beginner-friendly course gets you started making your first steps.

https://www.amazon.com/dp/B0DWHS1RDJ

#maths #leanprover #proofassistants #lean4

Jan 21 at 6:05pmWeb
Show threadprozacchiwawaJan 25
@rzeta0
thanks for writing this, learning quite a bit.
Show threadTariqJan 25

@prozacchiwawa

thanks for the message - I hope it continues to be useful

I found when I first looked at the subject there were no guides I could find that would get me started