CoqHott / exceptional-tt
A Coq plugin that implements exceptions in Coq
☆13Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for exceptional-tt
- Formalising session types in Coq☆17Updated 5 years ago
- ☆13Updated 4 years ago
- a version of the 2048 game for Coq☆22Updated last year
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆19Updated 6 months ago
- flexible 'let rec' generation for MetaOCaml☆26Updated last year
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆14Updated last year
- 👹 A library for hierarchical names and lexical scoping☆25Updated last month
- Tactic for polynomial manipulations