escocA nano proof language.theorem-provinglambda-calculusfunctional-programmingtype-theory0.1.2 • Published 5 years ago