Repository navigation

Release for Coq version 8.18

womeier released this 27 Sep 14:44

· 24 commits to master since this release

b5f38c1

v0.1.2

fix deprecates, add support for 8.18, require at least 8.16

Assets 2