1 result found Sort:

andrew-johnson-4
LSTS andrew-johnson-4
3
117
mit
3
Large Scale Type Systems (programming language)
ast lint lsts rust lexer parser compiler type-checking theorem-prover category-theory dependent-types error-reporting lambda-calculus proof-assistant refinement-types assisted-reasoning programming-language lambda-calculus-interpreter
Created 2021-09-10
1,446 commits to main branch, last one 6 days ago