Skip to content

Vericert 1.2.2

Latest
Latest
Compare
Choose a tag to compare
@ymherklotz ymherklotz released this 01 Oct 19:15
· 463 commits to master since this release
v1.2.2
1cb470d

Mainly fix some documentation and remove any Admitted theorems, even though
these were in parts of the compiler that were never used.

Assets 2