REPO //Trendshift
absint/compcert_
The CompCert formally-verified C compiler
★ 2.2K⑂ 261Rocq Prover
Sep 5, 2026[40]
https://github.com/absint/compcertabsint/compcert
Every mention of this repository across all aggroNATION sources — one page, deduplicated.
absint/compcert
★ 2.2K⑂ 261
The CompCert formally-verified C compiler
Rocq Prover#c#compcert#compiler#coq