1 result found Sort:

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