-
-
ClassFieldTheory Public
Forked from kbuzzard/ClassFieldTheoryGithub repository for the 2025 Clay Summer School on Formalizing Class Field Theory
Lean Apache License 2.0 UpdatedAug 22, 2025 -
-
-
-
lean4-metaprogramming-book Public
Forked from leanprover-community/lean4-metaprogramming-bookLean Apache License 2.0 UpdatedJan 14, 2024 -
-
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedAug 1, 2023