Verified Software Toolchain
508
stars
6,149
commits
Rocq Prover
primary language
Sep 3, 2026
updated
README
with contributions from
Andrew W. Appel, Lennart Beringer, Robert Dockins, Josiah Dodds, Aquinas Hobor, Jean-Marie Madiot, Gordon Stewart, Qinxiang Cao, Qinshi Wang, and others.
The LICENSE file has information about copyright, licensing, and permissions.
How to install:
Documentation:
Our webpage describes the goals of the project and has links to many related publications.
For an introduction to how to use Verifiable C, read the manual, or consult Software Foundations Volume 5: Verifiable C for a tutorial with exercises.
Program Logics for Certified Compilers, by Andrew W. Appel et al., Cambridge University Press, 2014. Available in hardcover.
Contributors
(top 30 of 51)
Similar repos
Languages
Rocq Prover
97.6%
C
1.4%
Verified Software Toolchain
508
stars
6,149
commits
Rocq Prover
primary language
Sep 3, 2026
updated
README
with contributions from
Andrew W. Appel, Lennart Beringer, Robert Dockins, Josiah Dodds, Aquinas Hobor, Jean-Marie Madiot, Gordon Stewart, Qinxiang Cao, Qinshi Wang, and others.
The LICENSE file has information about copyright, licensing, and permissions.
How to install:
Documentation:
Our webpage describes the goals of the project and has links to many related publications.
For an introduction to how to use Verifiable C, read the manual, or consult Software Foundations Volume 5: Verifiable C for a tutorial with exercises.
Program Logics for Certified Compilers, by Andrew W. Appel et al., Cambridge University Press, 2014. Available in hardcover.
Similar repos
Contributors
(top 30 of 51)
Languages
Rocq Prover
97.6%
C
1.4%