Classifying the groups of order p q in Lean

MaRDI QIDQ6762684arXivFDO

Authors Scott Harper, P. Wu

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to group theory (20-04) Axiomatics and elementary properties of groups (20A05)

arXiv classification

cs.LO

This page was built for publication: Classifying the groups of order $p q$ in Lean

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6762684)