This repository is not active
Shamrock-Frost/jordan-holder
A proof of the Jordan-Hölder theorem, formalized in the Lean Proof Assistant
Lean
A proof of the Jordan-Hölder theorem, formalized in the Lean Proof Assistant
Lean
This repository is not active