TY  - RPRT
TI  - Classifying the groups of order $p q$ in Lean
AU  - Scott Harper
AU  - Peiran Wu
PY  - 2025
UR  - https://arxiv.org/abs/2501.09769
ID  - 2501.09769
ER  -