Published October 1, 2021
| Version 1.2.2
Software
Open
Vericert
Description
Mainly fix some documentation and remove any ~Admitted~ theorems, even though these were in parts of the compiler that were never used.
Notes
If you use this software, please cite it as below.
Files
ymherklotz/vericert-v1.2.2.zip
Files
(1.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:d1fc98bbfd9260f94336394995637ab1
|
1.4 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/ymherklotz/vericert/tree/v1.2.2 (URL)