n-yamaguchi-0729Nyll0.1.0-dev

Local class field theory and global class field theory for number fields and function fields in Lean 4.
#math
Displaying 1-1 of 1 versions of Nyll
Sort by
  1. 0.1Version track: 0.1
    0.1.0-dev
    10 days ago
    Released on October 21, 2026 at 2:11:49AM
    Commit fbd320c builds on its recent leanprover/lean4:v4.35.0-rc2
    v4.35.0-rc2
    797.8 MB Build archive size: 797790398 bytes.