Rocq-community
Pinned Loading
Repositories
- coqtail-math Public
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
rocq-community/coqtail-math’s past year of commit activity - docker-rocq Public
Docker images of the Rocq Prover (see also: https://github.com/rocq-community/docker-coq-action) [maintainer=@Justme0606]
rocq-community/docker-rocq’s past year of commit activity - coq-nix-toolbox Public
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
rocq-community/coq-nix-toolbox’s past year of commit activity - coq-ext-lib Public
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
rocq-community/coq-ext-lib’s past year of commit activity - templates Public
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
rocq-community/templates’s past year of commit activity - rocq-lean-import Public
rocq-community/rocq-lean-import’s past year of commit activity - trocq Public
A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]
rocq-community/trocq’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…