10 search results for "author:"The Rocq development team, INRIA, CNRS, and contributors""
Showing 1 - 10
-
Compatibility metapackage for Coq after the renaming9.1.1LGPL-2.1-onlyUsed by 2 other packages23 Feb 2026
-
Compatibility binaries for Coq after the renaming9.2.0LGPL-2.1-onlyUsed by 3 other packages02 Apr 2026
-
Compatibility metapackage for Coq Stdlib library after the renaming9.0.0LGPL-2.1-onlyUsed by 3 other packages20 Mar 2025
-
The Prover, XML protocol server9.2.0LGPL-2.1-onlyUsed by 1 other packages02 Apr 2026
-
rocq-core
No documentation
The Prover with its prelude9.2.0LGPL-2.1-onlyUsed by 3 other packages02 Apr 2026 -
rocq-devtools
No documentation
tools for9.2.0LGPL-2.1-onlyUsed by 0 other packages02 Apr 2026 -
The Prover with Stdlibmeta.1LGPL-2.1-onlyUsed by 0 other packages07 Jan 2026
-
The Prover -- Core Binaries Tools9.2.0LGPL-2.1-onlyUsed by 5 other packages02 Apr 2026
-
rocq-stdlib
No documentation
The Proof Assistant -- Stard Library9.1.0LGPL-2.1-onlyUsed by 4 other packages11 May 2026 -
rocqide
No documentation
The Prover --- GTK3 IDE9.2.0LGPL-2.1-onlyUsed by 0 other packages02 Apr 2026