| Original language | English |
|---|---|
| Number of pages | 8 |
| Journal | ArXiv e-prints |
| Publication status | In preparation - 2025 |
Classifying the groups of order pq in Lean
Scott Harper, Peiran Wu
Research output: Contribution to journal › Article
Scott Harper, Peiran Wu
Research output: Contribution to journal › Article
| Original language | English |
|---|---|
| Number of pages | 8 |
| Journal | ArXiv e-prints |
| Publication status | In preparation - 2025 |