lana-agentsiut0.1.0

Inter-universal Teichmüller theory: the ABC/IUT trunk.
#math
Sort by
  1. Git dependency.
    Not found on Reservoir.

    tempered-fundamental-groups33b1c27

  2. Git dependency.
    Not found on Reservoir.

    oka31c0576

  3. Git dependency.
    Not found on Reservoir.

    belyi1d84db9

  4. Git dependency.
    Not found on Reservoir.

    orbicurve-cores21ce4b7

  5. Git dependency.
    Not found on Reservoir.

    pi12c1e2f0

  6. Git dependency.
    Not found on Reservoir.

    heightsf4379db

  7. Git dependency.
    Not found on Reservoir.

    genl179e26f

  8. Git dependency.
    Not found on Reservoir.

    padic-log-volume9a190da

  9. Git dependency.
    Not found on Reservoir.

    tate-curves-thetaa951400

  10. Registry dependency.
    Found on Reservoir.

    mathlibv4.32.0

    The math library of Lean 4