Skip to content

MMaps release 1.1

Latest
Latest
Compare
Choose a tag to compare
@palmskog palmskog released this 08 Jan 15:22
· 3 commits to master since this release
v1.1
c957004
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Release of Modular Finite Maps over Ordered Types known to be compatible with Coq 8.14 to 8.19. The main change is addition of general lemmas relating fold and add by Andrew W. Appel.

Assets 3
Loading