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