https://pypi.org/project/eqtheory/ Recent updates to the Python Package Index for eqtheory en https://pypi.org/project/eqtheory/0.3.1/ Equational theories over magmas: term rewriting with a Knuth-Bendix order, proof-producing e-graphs, goal-directed superposition, finite and infinite countermodels, Lean 4 certificates. Tue, 01 Sep 2026 20:23:47 GMT https://pypi.org/project/eqtheory/0.3.0/ Equational theories over magmas: term rewriting with a Knuth-Bendix order, proof-producing e-graphs, goal-directed superposition, finite and infinite countermodels, Lean 4 certificates. Tue, 01 Sep 2026 20:07:33 GMT https://pypi.org/project/eqtheory/0.2.0/ Equational theories over magmas: term rewriting with a Knuth-Bendix order, proof-producing e-graphs, goal-directed superposition, finite and infinite countermodels, Lean 4 certificates. Tue, 01 Sep 2026 19:00:55 GMT https://pypi.org/project/eqtheory/0.1.0/ Equational theories over magmas: term rewriting with a Knuth-Bendix order, proof-producing e-graphs, goal-directed superposition, finite and infinite countermodels, Lean 4 certificates. Tue, 01 Sep 2026 12:14:11 GMT