Skip to content
#

p-adic

Here are 61 public repositories matching this topic...

An explicit marked profinite presentation of the absolute Galois group of Q₂: four generators, two relations, and a pro-2 wild-inertia condition, with interactive paper, two Lean 4 formalizations, and a finite-quotient verifier

  • Updated Sep 2, 2026
  • HTML

Add this topic to your repo

To associate your repository with the p-adic topic, visit your repo's landing page and select "manage topics."

Learn more