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