Rocq RFCs: documents to discuss changes to the Rocq Prover
☆60Jan 15, 2025Updated last year
Alternatives and similar repositories for rfcs
Users that are interested in rfcs are comparing it to the libraries listed below
Sorting:
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- Coq plugin embedding elpi☆184Updated this week
- An enhanced unification algorithm for Coq☆59Jan 30, 2026Updated last month
- High level commands to declare a hierarchy based on packed classes☆104Feb 24, 2026Updated last week
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36Oct 28, 2025Updated 4 months ago
- Archive for all Rocq and Coq-related opam packages organized in various repositories☆162Updated this week
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]☆27Jan 23, 2026Updated last month
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]