Skip to content

AAC Tactics release for Coq 8.20

Latest
Latest
Compare
Choose a tag to compare
@palmskog palmskog released this 27 Jun 19:52
· 2 commits to v8.20 since this release
v8.20.0
251b7fa

Release with Coq 8.20 compatibility.

Added

  • Tests for try aac_rewrite and try aac_normalise that failed on 8.19
Assets 3
Loading