Skip to main content

Lean community blog

Main site
Archive
Tags
About
RSS feed

Posts by Georgia Harbor-Collins and Mohit Hulse

2025-08-22 17:00Formalizing Class Field Theory

Contents © 2025 The Lean prover community - Powered by Nikola