dsheets/ocaml
Read-only mirror of INRIA SVN
Public GitHub Catalog
Discovered Oct 1, 2026
dsheets / HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#20560542GitHub System ID
dsheetsOrganization / User
PublicVisibility
ActiveCatalog Status
More from dsheets
dsheets/grammar-practice
A quick way to practice grammar transformations (LR(1) via menhir)
dsheets/jenga
Build system
dsheets/google-drive-profuse
Fork of [google-drive-ocamlfuse](https://github.com/astrada/google-drive-ocamlfuse) to use [profuse](https://github.com/dsheets/profuse) Consistent syntax is not GitHub's strong suit.