1 result found Sort:

Soonad
Formality-Core Soonad
11
40
mit
8
Specification of the Formality proof and programming language
formality type-system lambda-calculus programming-language funcional-programming
Created 2020-03-23
297 commits to master branch, last one 4 years ago