T-Brick / c0deineLinks
Reference compiler for c0
☆36Updated 2 months ago
Alternatives and similar repositories for c0deine
Users that are interested in c0deine are comparing it to the libraries listed below
Sorting:
- A Seamless, Interactive Tactic Learner and Prover for Coq☆75Updated 3 weeks ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆38Updated last month
- A deterministic parser with fused lexing☆74Updated 2 years ago
- Gallina to Bedrock2 compilation toolkit