Published January 29, 2021
| Version v1.1.0
Software
Open
ymherklotz/vericert: Vericert 1.1.0
Description
Add a stable release with all proofs completed.
Files
ymherklotz/vericert-v1.1.0.zip
Files
(15.6 MB)
Name | Size | Download all |
---|---|---|
md5:04ac0893294762485369894efb47e85d
|
15.6 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/ymherklotz/vericert/tree/v1.1.0 (URL)