thery / PolTac

Tactic for polynomial manipulations
10Updated 9 months ago

Related projects

Alternatives and complementary repositories for PolTac