Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with assisted-reasoning
A curated list of projects in awesome lists tagged with assisted-reasoning .
https://github.com/andrew-johnson-4/LSTS
Large Scale Type Systems (programming language)
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
Last synced: 01 Aug 2024