Coq-Kruskal

github.comtool

Collection of libraries related to rose trees and Kruskal's tree theorem.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲
   CoRN github.com

   tool category #coq link ↗

   Library of constructive real analysis and algebra.

   
2. ▲
   ExtLib github.com

   tool category #coq link ↗

   Collection of theories and plugins that may be useful in other Coq developments.

   
3. ▲
   Coq Platform github.com

   tool category #coq link ↗

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

4. ▲
   Coq Package Index coq.inria.fr

   site category #coq link ↗

   Collection of Coq packages based on opam.

   
5. ▲
   Coq-std++ gitlab.mpi-sws.org

   site category #coq link ↗

   Extended alternative standard library for Coq.

   
6. ▲
   Coq'Art Exercises and Tutorials github.com

   tool category #coq link ↗

   Coq code and exercises from the Coq'Art book, including additional tutorials.

   

Coq › Projects > Libraries: “Collection of libraries related to rose trees and Kruskal's tree theorem.”