REPO //Trendshift
absint/compcert_
The CompCert formally-verified C compiler
★ 2.2K⑂ 261Rocq Prover
Sep 5, 2026[40]
https://github.com/absint/compcert#compcert
1 item tagged “compcert” across every source.
1 item tagged “compcert” across every source.
The CompCert formally-verified C compiler