Jupyter kernel for Coq
☆95Sep 3, 2024Updated 2 years ago
Alternatives and similar repositories for coq_jupyter
Users that are interested in coq_jupyter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 10 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆19Jul 9, 2018Updated 8 years ago
- a version of the 2048 game for Coq☆22Oct 24, 2026Updated 2 weeks ago
- Towards Optic-Based Algebraic Theories: the Case of Lenses☆17Nov 26, 2018Updated 7 years ago
- Multinomials for the Mathematical Components library.☆17Oct 31, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Coq library providing tactics to deal with hypothesis☆23Apr 13, 2026Updated 6 months ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 7 years ago
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆136Updated this week
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆40May 13, 2025Updated last year
- Visual Studio Code extension for Rocq☆464Updated this week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆131Feb 15, 2025Updated last year
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆18Aug 26, 2026Updated 2 months ago
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆13Aug 11, 2024Updated 2 years ago
- Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.☆74Mar 31, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tactic for polynomial manipulations☆13Oct 28, 2026Updated last week
- Hanoi tower in Coq☆26Oct 28, 2026Updated last week
- A Probability Theory Library for the Coq Theorem Prover☆56Oct 6, 2023Updated 3 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Mar 2, 2026Updated 8 months ago
- The Rocq Prover bot☆32Updated this week
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆397Jun 5, 2026Updated 5 months ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆103Oct 27, 2026Updated last week
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- A function definition package for Rocq☆239Updated this week
- ☆16Nov 1, 2019Updated 7 years ago
- The Penn Locally Nameless Metatheory Library☆81Mar 26, 2025Updated last year
- A port of Coq to Javascript -- Run Coq in your Browser☆550Jun 15, 2026Updated 4 months ago
- Demystifying the magic of supertactics☆13Nov 2, 2021Updated 5 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆556May 28, 2025Updated last year
- ☆58Oct 15, 2026Updated 3 weeks ago
- Multi platform setup for Rocq, Rocq libraries and tools☆251Updated this week
- 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 fornalisation of Grobner basis in ssreflect☆12Sep 15, 2026Updated last month
- Deductive verifier for CUDA☆16Dec 19, 2016Updated 9 years ago
- Theorems for Real Closed Fields☆15Oct 28, 2026Updated last week
- The Coq formalization of the paper Reasoning about the garden of forking paths.☆26Feb 7, 2025Updated last year
- Coq library on rewriting theory and termination☆37Updated this week
- A proof tree viewer that works with Coq through Proof General☆28Jan 29, 2021Updated 5 years ago
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆18Mar 19, 2026Updated 7 months ago