#coq (9 Repositories)
Ranked open-source repositories tagged with #coq, scored by pull request acceptance likelihood and maintainer engagement velocity.
60.1%
77.5h
9 repositories tagged #coq
rocq-prover/opam
Archive for all Rocq and Coq-related opam packages organized in various repositories
rocq-prover/vsrocq
Visual Studio Code extension for Rocq
AeneasVerif/aeneas
A verification toolchain for Rust programs
LPCIC/coq-elpi
Rocq plugin embedding Elpi
lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
rocq-prover/rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. 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.
rocq-community/rocq-lsp
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
rocq-community/coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
cpitclaudel/company-coq
A Coq IDE build on top of Proof General's Coq mode