5 search results for "author:"The Coq development team, INRIA, CNRS, and contributors""
Showing 1 - 5
-
TheProof AssistantThe contributors8.20.0LGPL-2.1-onlyUsed by 3 other packages06 Sep 2024
-
TheProof Assistant -- Core Binaries ToolsThe contributors8.20.0LGPL-2.1-onlyUsed by 5 other packages06 Sep 2024
-
TheProof Assistant -- St ard LibraryThe contributors8.20.0LGPL-2.1-onlyUsed by 2 other packages06 Sep 2024
-
TheProof Assistant --- GTK3 IDEThe contributors8.20.0LGPL-2.1-onlyUsed by 0 other packages06 Sep 2024
-
TheProof Assistant, XML protocol serverThe contributors8.20.0LGPL-2.1-onlyUsed by 2 other packages06 Sep 2024