summaryrefslogtreecommitdiff
path: root/src/Helium/Tactic/CommutativeRing/NonReflective.agda
AgeCommit message (Collapse)Author
2022-04-07Add a new ring solver tactic.Greg Brown