8 search results for "author:"Coq""
Showing 1 - 8
-
The Coq Proof Assistant8.19.2LGPL-2.1-onlyUsed by 3 other packages24 Jun 2024
-
The Coq Proof Assistant -- Core Binaries and Tools8.19.2LGPL-2.1-onlyUsed by 5 other packages24 Jun 2024
-
coq-native
No documentation
Package flag enabling coq's native-compiler flag1Used by 0 other packages07 Dec 2020 -
Simplified OPAM shell for Coq1LGPL-2.1-onlyUsed by 0 other packages19 Nov 2015
-
The Coq Proof Assistant -- Standard Library8.19.2LGPL-2.1-onlyUsed by 2 other packages24 Jun 2024
-
The Coq Proof Assistant --- GTK3 IDE8.19.2LGPL-2.1-onlyUsed by 0 other packages29 Jun 2024
-
The Coq Proof Assistant, XML protocol server8.19.2LGPL-2.1-onlyUsed by 2 other packages24 Jun 2024
-
The psmt2-frontend project0.4.0Apache-2.0Used by 1 other packages26 Mar 2021