Contains my formalizations of several algebraic (group theoretic until now) theorems and lemmas, most prominently the work on a formalization of the Jordan-Hölder theorem.
javra / isabelle_algebra Goto Github PK
View Code? Open in Web Editor NEWIsabelle Algebra Sandbox