#

assisted-reasoning

Here are 2 public repositories matching this topic...

LSTS

Lambda-Mountain-Compiler-Backend / LSTS

Large Scale Type Systems: ML/C Hybrid Programming Language

lint programming-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 2, 2025

lambda-mountain

Lambda-Mountain-Compiler-Backend / lambda-mountain

Compiler Backend for LSTS (Typed Macro Assembler)

css c html programming-language static-site-generator compiler functional-programming coq wasm x86 self-hosting macro-assembler assisted-reasoning

Updated Mar 6, 2026
C

Improve this page

Add a description, image, and links to the assisted-reasoning topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the assisted-reasoning topic, visit your repo's landing page and select "manage topics."