lsts (cargo): Large Scale Type Systems
Keywords: proof|logic|automated|type|theorem|assisted-reasoning|ast|category-theory|compiler|dependent-types|error-reporting|lambda-calculus|lambda-calculus-interpreter|language|lexer|lint|lsts|parser|proof-assistant|refinement-types|rust|theorem-prover|type-checking