c-cube/coquille
Interactive theorem proving with Coq in vim.
Public GitHub Catalog
Discovered Oct 19, 2026
c-cube / ty
[draft] dynamic representation of types
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.
#39632269GitHub System ID
c-cubeOrganization / User
PublicVisibility
ActiveCatalog Status
More from c-cube
c-cube/lean
Lean Theorem Prover
c-cube/ocaml.org
Implementation of the ocaml.org website.
c-cube/ocaml-aig
[toy] And-Inverter Graph in OCaml