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