Replace lia_tactics and field_tactics with mczify and Algebra Tactics#4
Merged
amahboubi merged 6 commits intocoq-community:masterfrom pi8027:algebra-tacticsMay 3, 2022
+895-1,960
Commits
Commits on Apr 25, 2022
- committed
- committed
- committed
- committed
- committed
- committed
