AAC Tactics release for Coq 8.11

palmskog released this 31 Jan 18:18

· 1 commit to v8.11 since this release

869aaaa

Release with Coq 8.11 compatibility, featuring the following changes:

adapt to Coq 8.11 plugin API
switch from using omega tactic to lia

Assets 2