Version 1.0-beta2 for Coq 8.7

Pre-release

Pre-release

mattam82 released this 21 Nov 16:02

· 31 commits to 8.7 since this release

08df324

This is the same version as 1.0-beta2 except for Coq 8.7.

Assets 2