Project name and URL: https://github.com/rocq-community/apery
Current maintainer: @amahboubi @pi8027
Status: I became a co-maintainer because I'm the initial author of Algebra Tactics. Since I decided to discontinue Algebra Tactics, I don't have a reason to continue the maintenance work. So, I would like to step down from my co-maintainer position.
New maintainer: Since @amahboubi is not actively maintaining Apery, it would be better to find a new co-maintainer.
Project name and URL: https://github.com/rocq-community/apery
Current maintainer: @amahboubi @pi8027
Status: I became a co-maintainer because I'm the initial author of Algebra Tactics. Since I decided to discontinue Algebra Tactics, I don't have a reason to continue the maintenance work. So, I would like to step down from my co-maintainer position.
New maintainer: Since @amahboubi is not actively maintaining Apery, it would be better to find a new co-maintainer.