trending now · mentioned on @ggwhiting
AbsInt/CompCert
AbsInt · Sep 5, 2026 · via trendshift · 1 min read
absint/compcert
★ 2.2K⑂ 261
The CompCert formally-verified C compiler
Rocq Prover#c#compcert#compiler#coq
Rendered from the publisher's own feed content.
Comments
Sign in to join the discussion.