braibant/ocaml-manual
Mirror of the OCaml manual
Public GitHub Catalog
Discovered Sep 24, 2026
braibant / coq-tutorial-ml-tactics
A tutorial on how to write OCaml tactics for the Coq proof assistant
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#2000075GitHub System ID
braibantOrganization / User
PublicVisibility
ActiveCatalog Status
More from braibant
braibant/ocaml
Read-only mirror of INRIA SVN
braibant/ctypes-mitm
Public repository.
braibant/ocaml-pr6764
Public repository.