Sujet: "coq"
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
langage: OCaml - taille: 194 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a 9 mois - étoiles: 4 997 - forks: 676
coq/vscoq
Visual Studio Code extension for Coq
langage: OCaml - taille: 78,7 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a 9 mois - étoiles: 370 - forks: 74
coq/opam
Archive for all Coq related OPAM packages organized in various repositories
langage: OCaml - taille: 12,1 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a 9 mois - étoiles: 133 - forks: 168
coq/rfcs
Coq Enhancement Proposals
taille: 230 ko - dernière synchronisation: il y a 9 mois - enregistré: il y a 11 mois - étoiles: 56 - forks: 34
atlanmod/coqtl
CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
langage: Coq - taille: 12,2 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 4 ans - étoiles: 14 - forks: 13
