Roosterize

github.comtool

Tool for suggesting lemma names in Coq projects.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲
   rooster github.com

   tool category #erlang link ↗
   
2. ▲
   lngen github.com

   tool category #coq link ↗

   Tool for generating locally nameless Coq definitions and proofs.

   
3. ▲
   Coq Platform github.com

   tool category #coq link ↗

   Curated collection of packages to support Coq use in industry, education, and research.

4. ▲
   Rocqnavi github.com

   tool category #coq link ↗

   Fork of coq2html that adds indexes, clickable notations, Markdown and LaTeX formatting in comments, and more.

   
5. ▲
   Ott github.com

   tool category #coq link ↗

   Tool for writing definitions of programming languages and calculi that can be translated to Coq.

   
6. ▲
   coq-tools github.com

   tool category #coq link ↗

   Scripts for manipulating Coq developments.

   

Coq › Projects > Tools: “Tool for suggesting lemma names in Coq projects.”