search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

add link to talk, type theory and practical foundations #45

Closed avigad closed 8 years ago

soonhokong commented 8 years ago

screen shot 2016-03-06 at 2 32 28 pm

Merged by 450eddbb57f38f221f198b07752244f2c6f929ca