arthuraa / extructures
Finite sets and maps for Coq with extensional equality
☆29Updated last year
Related projects ⓘ
Alternatives and complementary repositories for extructures
- Deadlock freedom by type checking☆19Updated last year
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Updated 9 months ago
- Relation algebra library for Coq☆45Updated 2 weeks ago
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…☆29Updated 3 months ago
- a version of the 2048 game for Coq☆22Updated last year
- Ring, field, lra, nra, and psatz tactics for Mathematical Components