AbsInt

AbsInt

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
2.2k Stars
254 Forks
2.2k Watchers

Repositories (1)

CompCert AbsInt/CompCert Rocq Prover

The CompCert formally-verified C compiler

2.2k