AbsInt

AbsInt

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
2k Stars
238 Forks
2k Watchers

Repositories (1)

CompCert AbsInt/CompCert Rocq Prover

The CompCert formally-verified C compiler

2k