proof-using-helper.py

github.comsite

Modifies source files to include proof annotations for faster parallel proving.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲
   Coinduction github.com

   tool category #coq link ↗

   Plugin for doing proofs by enhanced coinduction.

   
2. ▲
   Proof General proofgeneral.github.io

   site category #coq link ↗

   Generic interface for proof assistants based on the extensible, customizable text editor Emacs.

   
3. ▲
   Company-Coq github.com

   tool category #coq link ↗

   IDE extensions for Proof General's Coq mode.

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

   site category #coq link ↗
5. ▲
   Proofs and Reliable Programming using Coq team.inria.fr

   site category #coq link ↗

   Introduction to developing and verifying programs with Coq.

6. ▲
   SSProve github.com

   tool category #coq link ↗

   Framework for modular cryptographic proofs based on the Mathematical Components library.

   

Coq › Projects > Tools: “Modifies source files to include proof annotations for faster parallel proving.”