coq-core
Compatibility binaries for Coq after the Rocq renaming
- Category
- OCaml packages
Official docs outline
ocaml.orgExtra Credit builds an outline of coq-core's docs the first time your work uses it. Until then, start at the official documentation.
More in OCaml packages
All 500- gluten-lwt Lwt-specific runtime for gluten
- gluten-mirage Mirage support for gluten
- gluten-eio EIO runtime for gluten
- gluten A reusable runtime library for network protocols
- cohttp-curl-async Cohttp client using Curl & Async as the backend
- coqide-server The Rocq Prover, XML protocol server
- CamlSurf-x11 A program to display and animate implicit surfaces and curves
- calli CaLLi : OCaml Library for Static Analysis of LLVM bitcode
- swhid_core OCaml library to work with swhids
- cfg CFG - Context-Free Grammars
- tidy_email_smtp An OCaml library that simplifies connecting to SMTP servers
- conf-sdl2-net Virtual package relying on a sdl2-net system installation