NobleBlocks
    Numerical verification of the Cohen–Lenstra–Martinet heuristics and of Greenberg’s <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>p</mml:mi> </mml:math> -rationality conjecture | NobleBlocks