marcusrossel / verified-compilerLinks
A toy example of a verified compiler.
☆29Updated 3 months ago
Alternatives and similar repositories for verified-compiler
Users that are interested in verified-compiler are comparing it to the libraries listed below
Sorting:
- A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo☆37Updated last month
- high-performance cubical evaluation☆74Updated 3 months ago
- Experiments with SAT solvers with proofs in Lean 4☆58Updated last year
- ♾️ A library for universe levels and universe polymorphism☆34Updated 8 months ago
- Lecture notes on realizability☆74Updated 5 months ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆82Updated 2 weeks ago
- Type Checking in Lean 4☆28Updated 3 weeks ago
- A work-in-progress core language for Agda, in Agda