CoqEAL

github.comtool

Framework to ease change of data representations in proofs.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲
   Coq-Elpi github.com

   tool category #coq link ↗

   Extension framework based on λProlog providing an extensive API to implement commands and tactics.

2. ▲
   Coq Exchange: ideas and experiment reports about Coq project.inria.fr

   site category #coq link ↗
3. ▲
   coq-tools github.com

   tool category #coq link ↗

   Scripts for manipulating Coq developments.

   
4. ▲
   Coq tag on Proof Assistants Stack Exchange proofassistants.stackexchange.com

   site category #coq link ↗
5. ▲
   coq github.com

   tool category #ocaml link ↗
   
6. ▲
   MetaCoq github.com

   tool category #coq link ↗

   Project formalizing Coq in Coq and providing tools for manipulating Coq terms and developing certified plugins.

   

Coq › Projects > Frameworks: “Framework to ease change of data representations in proofs.”