Skip to content

AAC Tactics bugfix release for Coq 8.15
Compare
Choose a tag to compare
@palmskog palmskog released this 15 Mar 20:17
v8.15.1
45af31f
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 with 8.15 compatibility that fixes a universe typing issue which prevented some reasoning AAC with relations on parameterized structures such as lists. Also adds permutation typeclass instances and switches to export locality for typeclass instances whenever possible.

Assets 2
Loading