Stream: coq-community devs & users

Topic: new features in aac-tactics

view this post on Zulip Karl Palmskog (Oct 12 2021 at 16:11):

Don't know if anyone saw this, but we got an unexpected contribution from an original co-author of aac-tactics that prompted a new release (see chat in commit if interested):

But we sorted it out in the end:

Last updated: Jun 03 2023 at 18:01 UTC