A Rocq version of the miniF2F dataset
☆25Jul 23, 2026Updated 3 months ago
Alternatives and similar repositories for miniF2F-rocq
Users that are interested in miniF2F-rocq are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic theorem proving via natural language reasoning with LLMs☆23May 16, 2025Updated last year
- Python API for lightweight communication with the Rocq proof assistant☆21Apr 18, 2026Updated 6 months ago
- MCP server for the Rocq prover☆48Oct 19, 2026Updated 2 weeks ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆130Apr 15, 2026Updated 6 months ago
- Micromega tactics for Mathematical Components☆31Aug 20, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆14Nov 19, 2024Updated last year
- Lenses in Coq☆17Oct 7, 2022Updated 4 years ago
- BigRocq is a utility, that takes a Rocq (former Coq) project as input and uses domain knowladge to increase a number of theorems in the d…☆12Feb 11, 2026Updated 8 months ago
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆16Jun 7, 2023Updated 3 years ago
- The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical pro…☆52Oct 12, 2026Updated 3 weeks ago
- OCaml as a Tactic Language for the Rocq Prover☆22Updated this week
- ☆39Updated this week
- Multinomials for the Mathematical Components library.☆17Aug 20, 2026Updated 2 months ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rocq RFCs: documents to discuss changes to the Rocq Prover☆66Jan 15, 2025Updated last year
- ☆13Apr 28, 2025Updated last year
- A Coq library providing tactics to deal with hypothesis☆23Apr 13, 2026Updated 6 months ago
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]☆32Aug 27, 2026Updated 2 months ago
- Synthesis of Formally Verified Cryptographic Primitives☆18Updated this week
- Gallina to Bedrock2 compilation toolkit☆72Sep 24, 2026Updated last month
- ☆41Oct 1, 2026Updated last month
- Automatic Differentiation: FADBAD++ for OCaml☆15Oct 26, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 7 years ago
- Coq plugin for extracting Rust code☆25Jun 29, 2026Updated 4 months ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆18Updated this week
- A proof of Abel-Ruffini theorem.☆30Aug 28, 2026Updated 2 months ago
- A formalisation of the Calculus of Constructions☆74Jul 24, 2024Updated 2 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- Mathematics of Robotic Manipulation using Rocq and MathComp☆33Sep 23, 2026Updated last month
- Parsing library based on Earley Algorithm☆19Aug 16, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Seamless, Interactive Tactic Learner and Prover for Coq☆87Oct 19, 2026Updated 2 weeks ago
- Rocq plugin embedding Elpi☆197Oct 26, 2026Updated last week
- A foundational framework for modular cryptographic proofs in Coq☆90Oct 26, 2026Updated last week
- Python client for coq-lsp☆54May 3, 2026Updated 5 months ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆45Updated this week
- Class instances for Coq inductive types with little boilerplate☆27Oct 5, 2026Updated 3 weeks ago
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated 2 years ago