loganrjmurphy/lean-algebra

Some formalization of elementary algebra in Lean

Lean