Large Scale Type Systems (programming language)
lint
language
rust
parser
dependent-types
compiler
lambda-calculus
ast
proof-assistant
category-theory
lexer
refinement-types
type-checking
error-reporting
theorem-prover
lambda-calculus-interpreter
lsts
assisted-reasoning
-
Updated
Aug 21, 2024 - Rust