Skip to content

Maintenance 1.4 release supporting Coq 8.14

Latest
Compare
Choose a tag to compare
@palmskog palmskog released this 20 Nov 20:05
389c5b4

This is a maintenance release of the project, with the following features:

  • Algorand model and safety proof from initial release
  • support for Coq 8.14, 8.15, and 8.16 and Mathematical Components 1.14.0 and 1.15.0
  • depend on mczify package that is part of the Coq Platform
  • use fsfun update syntax from finmap 1.5.1
  • fix deprecations