Popular repositories Loading

1. mathlib4_stacks_project_field_new mathlib4_stacks_project_field_new Public

   Forked from jjdishere/mathlib4

   feat(Field): add theorems in Stacks Project Chapter 09FA Fields

   Lean

2. padic-L-functions4 padic-L-functions4 Public

   Forked from laughinggas/padic-L-functions4

   Lean

3. ClassFieldTheory ClassFieldTheory Public

   Forked from kbuzzard/ClassFieldTheory

   Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory

   Lean

4. Explicit-Class-Field-Theory-For-Rational-Function-Field Explicit-Class-Field-Theory-For-Rational-Function-Field Public

   我们尝试使用Lean代码对Hayes对于函数域上的类域论的显式构造进行形式化