https://rocq-prover.org/
Welcome to a World of Rocq
Rocq is a general-purpose, industrial-strength interactive theorem prover.
welcome toworld ofrocq
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2025.21
Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation
concentration inequalitiesrocqinfrastructureautomation
https://www.rocqmacarons.com/
Rocq Desserts: French Macarons & Gourmet Cakes Delivered, Nationwide! – Rocq Macarons
french macaronsgourmet cakesrocqdessertsdelivered
https://packages.redhat.com/api/pulp-content/public-copr/@fedora-review/fedora-review-2445873-rocq/
Index of @fedora-review/fedora-review-2445873-rocq/
index offedorareviewrocq
https://github.com/rocq-community/atbr
GitHub - rocq-community/atbr: Coq library and tactic for deciding Kleene algebras...
Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed] - rocq-community/atbr
https://console.redhat.com/api/pulp-content/public-copr/@fedora-review/fedora-review-2445873-rocq/fedora-43-x86_64/
Index of /api/pulp-content/public-copr/@fedora-review/fedora-review-2445873-rocq/fedora-43-x86_64/
https://coqinterval.gitlabpages.inria.fr/
Interval Package for Rocq
intervalpackagerocq
https://arxiv.org/abs/2604.17592
[2604.17592] TensorRocq: Enabling diagrammatic reasoning in Rocq
Abstract page for arXiv paper 2604.17592: TensorRocq: Enabling diagrammatic reasoning in Rocq
diagrammatic reasoningenablingrocq