assisted-reasoning

There are 2 repositories under assisted-reasoning topic.

andrew-johnson-4/LSTS
Large Scale Type Systems (programming language)
Language:Rust114 3 1293
andrew-johnson-4/lambda-mountain
Compiler Backend for LSTS (Typed Macro Assembler)
Language:C20 2 5151