clarus/falso
A proof of false in Coq.
Public GitHub Catalog
Discovered Oct 6, 2026
clarus / CompCert
The CompCert C verified compiler
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.
#33300652GitHub System ID
clarusOrganization / User
PublicVisibility
ActiveCatalog Status
More from clarus
clarus/presentation-coq-lab
Présentation de Coq pour le Lab.
clarus/repos2web
A website of the OPAM packages for Coq.
clarus/coq-test-exec-spec
Public repository.