A tutorial on how to write OCaml tactics for the Coq proof assistant
☆23Nov 23, 2016Updated 9 years ago
Alternatives and similar repositories for coq-tutorial-ml-tactics
Users that are interested in coq-tutorial-ml-tactics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Example Coq plugin☆18Mar 23, 2018Updated 8 years ago
- Pi-calculus in Coq☆12Oct 18, 2020Updated 6 years ago
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 15 years ago
- Tool for checking trace equivalence for security protocols☆17Oct 27, 2020Updated 6 years ago
- Deductive verifier for CUDA☆16Dec 19, 2016Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- OCaml bindings to Zstandard☆25Updated this week
- OCaml bindings to Zstandard (http://zstd.net)☆21Apr 1, 2026Updated 7 months ago
- ☆58Oct 15, 2026Updated 3 weeks ago
- Class instances for Coq inductive types with little boilerplate☆27Oct 5, 2026Updated last month
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆21Mar 19, 2015Updated 11 years ago
- A framework for extensible, reflective decision procedures.☆19Nov 25, 2019Updated 6 years ago
- MessagePack for OCaml/Coq☆15Feb 24, 2013Updated 13 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- A blog about Coq☆46Jul 25, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An HTML documentation generator for Coq source files☆31Jun 15, 2026Updated 4 months ago
- A new language for optimization☆13May 17, 2021Updated 5 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 8 years ago
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆136Updated this week
- HardCaml implementation of the OCaml ZINC Abstract Machine☆48Jan 5, 2020Updated 6 years ago
- a Haskell implementation of Deep Learning frameworks.☆13Mar 29, 2016Updated 10 years ago
- Type-classes for mirage applications☆12Oct 3, 2016Updated 10 years ago
- A model-checker for caml programs.☆13Mar 31, 2021Updated 5 years ago
- ☆19Updated this week
- 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.
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- ☆12Jul 10, 2020Updated 6 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆74Aug 25, 2026Updated 2 months ago
- Experimental parallel and concurrent OCaml☆15Jan 28, 2023Updated 3 years ago
- ☆16Jul 1, 2015Updated 11 years ago
- ☆11Oct 23, 2019Updated 7 years ago
- Demystifying the magic of supertactics☆13Nov 2, 2021Updated 5 years ago
- QUICr parametric abstract domain for sets☆13Jul 2, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Coq Code☆17Oct 24, 2026Updated last week
- A library for formalizing Haskell types and functions in Coq☆172Oct 15, 2023Updated 3 years ago
- OCaml interface to cgroups☆22Sep 16, 2022Updated 4 years ago
- Run OPAM under Docker☆13Apr 28, 2016Updated 10 years ago
- IO memory page library for Mirage backends☆10Mar 5, 2025Updated last year
- small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2☆18Aug 8, 2015Updated 11 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago