Rocq Prover coq-library

Open-source Rocq Prover projects categorized as coq-library
Edit details
coq coq-formalization Formal Verification cplusplus-11 Cplusplus
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
sponsored

Top 5 Rocq Prover coq-library Projects

Rocq Prover logo
coq-library

  1. UniMath

    This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

  2. AppSignal

    Monitoring that respects your time & budget. APM, error tracking, and dashboards for modern web apps. Ten-minute setup, transparent flat pricing, and support from engineers who actually use the product.

    AppSignal logo

  3. verdi

    A framework for formally verifying distributed systems implementations in Coq

  4. corn

    Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

  5. BRiCk

    Formalization of C++ for verification purposes. (by SkyLabsAI)

    Project mention: Extracting verified C++ from the Rocq theorem prover at Bloomberg | news.ycombinator.com | 2026-01-23

    This is another reason we are being careful with the correctness claim. The closest project I know right now that comes close to a formalized model of C++ is the BRiCk project:

    https://skylabsai.github.io/BRiCk/index.html

    https://github.com/SkyLabsAI/BRiCk

  6. ssprove

    A foundational framework for modular cryptographic proofs in Coq

  7. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Rocq Prover coq-library discussion

Log in or Post with

Index

What are some of the best open-source coq-library projects in Rocq Prover? This list will help you:

# Project Stars
1 UniMath 1,017
2 verdi 627
3 corn 116
4 BRiCk 105
5 ssprove 90

Sponsored
Monitoring that respects your time & budget
APM, error tracking, and dashboards for modern web apps. Ten-minute setup, transparent flat pricing, and support from engineers who actually use the product.
www.appsignal.com
Loading...