Galois Theory in Lean Try to prove some theorems of Galois Theory in Lean. It's a practice project to learn Lean.