Vericert 1.0.1
·
755 commits
to master
since this release
9d6979b
This commit was signed with the committer’s verified signature.
The key has expired.
ymherklotz
Yann Herklotz
Vericert 1.0.1
Release a new minor version fixing all proofs and fixing scripts to generate the badges.