coqPackages.compcert

Formally verified C compiler

Name

compcert

Homepage

• https://compcert.org

Version

3.16

License

• INRIA Non-Commercial License Agreement for the CompCert verified compiler

Maintainers

• Austin Seipp
• John Wiegley
• Vincent Laporte

Platforms

• aarch64-darwin
• aarch64-linux
• riscv32-linux
• riscv64-linux
• x86_64-darwin
• x86_64-linux

Defined

Source