Source code on Github
module Tactic.Solver.Ring.Tests where

open import Tactic.Solver.Ring.Tests.BundleVariants
open import Tactic.Solver.Ring.Tests.CommutativeRing
open import Tactic.Solver.Ring.Tests.Comparison
open import Tactic.Solver.Ring.Tests.EdgeCases
open import Tactic.Solver.Ring.Tests.Equations
open import Tactic.Solver.Ring.Tests.HasAddOp