Popular repositories Loading

1. p-adic-L-functions p-adic-L-functions Public

   Describes formalization of p-adic L-functions in Lean 3

   Lean 6

2. Ashvni Ashvni Public

   Lean

3. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean

4. DVRs DVRs Public

   Lean

5. DVR DVR Public

   TeX

6. laughinggas.github.io laughinggas.github.io Public

   HTML