Add talk "Teaching Logic and Mechanized Reasoning with Lean 4" by Avigad

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

Closed pitmonticone closed 11 months ago

pitmonticone commented 1 year ago

[x] Added talk "Teaching Logic and Mechanized Reasoning with Lean 4" (2021) by Jeremy Avigad (CMU)
[x] Fixed title of "Learning Mathematics with Lean" (2022)