opencompl / C-parsing-for-Lean4Links
A parser for ANSI C, in Lean4.
☆20Updated last year
Alternatives and similar repositories for C-parsing-for-Lean4
Users that are interested in C-parsing-for-Lean4 are comparing it to the libraries listed below
Sorting:
- Lean type-checker written in Scala.☆36Updated 3 years ago
- an implementation of Observational Type Theory (OTT) and more☆27Updated 2 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean