algebra-tactics
algebra-tactics copied to clipboard
Add tests for reverse dependencies to CI
Since Apery is now compatible with MC2, we should be able to test Apery in CI. But I don't know how to do that.