Skip to content

Releases: coq-community/mmaps

MMaps release 1.1

08 Jan 15:22
@palmskog palmskog
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.
Compare
Choose a tag to compare
MMaps release 1.1 Latest
Latest

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

MMaps release 1.0

18 Oct 02:50
@palmskog palmskog
v1.0
00611ae
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.
Compare
Choose a tag to compare
MMaps release 1.0

Release of Modular Finite Maps over Ordered Types compatible with Coq 8.13 to 8.16.

Assets 2
Loading