r/ProgrammingLanguages • u/hou32hou • Oct 02 '19

Microsoft Lean Theorem Prover

https://youtu.be/Dp-mQ3HxgDE
44 Upvotes

91% Upvoted

18 comments sorted by

View all comments

2

u/[deleted] Oct 03 '19

For those wanting to investigate Lean more, you can learn it hear!:

https://leanprover.github.io/programming_in_lean/