GitHub topics: coq
Deducteam/hol2dk
HOL-Light to Dedukti/Lambdapi translator
Language: Rocq Prover - Size: 557 KB - Last synced at: 6 days ago - Pushed at: 11 days ago - Stars: 6 - Forks: 4
coq/opam
Archive for all Coq related OPAM packages organized in various repositories
Language: OCaml - Size: 12.1 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 133 - Forks: 168
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.
Language: OCaml - Size: 194 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 4,997 - Forks: 676
coq/vscoq
Visual Studio Code extension for Coq
Language: OCaml - Size: 78.7 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 370 - Forks: 74
coq/rfcs
Coq Enhancement Proposals
Size: 230 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 56 - Forks: 34
atlanmod/coqtl
CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
Language: Coq - Size: 12.2 MB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 14 - Forks: 13
