Paco

plv.mpi-sws.orgsite

Library for parameterized coinduction.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   Paramcoq github.com

   Plugin to generate parametricity translations of Coq terms.

   tool link ↗
   
2. ▲

   Coinduction github.com

   Plugin for doing proofs by enhanced coinduction.

   tool topic math link ↗
   
3. ▲

   Official Coq standard library coq.inria.fr

   site link ↗
   
4. ▲

   Mczify github.com

   Library enabling Micromega arithmetic solvers to work when using Mathematical Components number definitions.

   tool topic math link ↗
   
5. ▲

   Mathematical Components wiki github.com

   site topic math link ↗
   site
6. ▲

   Company-Coq github.com

   IDE extensions for Proof General's Coq mode.

   tool topic math link ↗
   

Coq › Projects > Libraries: “Library for parameterized coinduction.”