dogear

enter for all results · esc to close

Rocq Prover

rocq-prover.orgsite

Open-source interactive theorem prover and dependently typed programming language for mechanized mathematics and verified software.

visit rocq-prover.org ↗
0
sign in to dogear this
from
Math
added
2026-10-10
likes
0

similar

  1. Rocqnavi github.com

    Fork of coq2html that adds indexes, clickable notations, Markdown and LaTeX formatting in comments, and more.

    tool link ↗

  2. Proofs and Reliable Programming using Coq team.inria.fr

    Introduction to developing and verifying programs with Coq.

    site topic programmingtopic math link ↗

  3. CoqHammer github.com

    General-purpose automated reasoning hammer tool that combines learning from previous proofs with the translation of problems to automated provers and the reconstruction of found proofs.

    tool topic math link ↗

  4. Tree Sitter Rocq github.com

    Partial Rocq tree-sitter grammar useful for syntax highlighting in text editors like Helix, but not recommended for full parsing of Rocq code.

    tool link ↗

  5. jsCoq github.com

    Port of Coq to JavaScript, which enables running Coq projects in a browser.

    tool topic programming link ↗

  6. Theorem Provers wiki.haskell.org

    site topic math link ↗

Math › Foundations and Logic > Formal Mathematics and Theorem Proving: “Open-source interactive theorem prover and dependently typed programming language for mechanized mathematics and verified software.”