math-comp / mczify
Micromega tactics for Mathematical Components
☆25Updated 3 months ago
Alternatives and similar repositories for mczify:
Users that are interested in mczify are comparing it to the libraries listed below
- A generic goal preprocessing tool for proof automation tactics in Coq☆16Updated 4 months ago
- coinduction library for Coq☆17Updated last week
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆12Updated 9 months ago
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆15Updated 5 years ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]