NobleBlocks
    Numerical verification of the Cohen–Lenstra–Martinet heuristics and of Greenberg’s p -rationality conjecture | NobleBlocks