Skip to content

Maintenance 1.2 release supporting Coq 8.11
Compare
Choose a tag to compare
@palmskog palmskog released this 24 Jul 22:17
· 7 commits to master since this release
release-1.2
4b979fd
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

This is a maintenance release that updates the project to support recent Coq and updated libraries, and includes:

  • Algorand model and safety proof from initial release
  • support for Coq 8.11 and Mathematical Components 1.11.0
  • use of external libraries (mathcomp-analysis and coq-record-update) to simplify code
Assets 3
Loading