Bibliography

1

Paul Abad and Jack Abad. The hundred greatest theorems. URL: https://web.archive.org/web/20080105074243/http://personal.stevens.edu/~nkahl/Top100Theorems.html.

2

Jeremy Avigad, Leonardo de Moura, Soonho Kong, and Sebastian Ullrich. Theorem proving in lean 4. URL: https://lean-lang.org/theorem_proving_in_lean4/title_page.html.

3

Lean Community. URL: https://leanprover-community.github.io/100-missing.html.

4

D.A. Cox. Galois Theory. Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts. Wiley, 2012. URL: https://books.google.de/books?id=TshTYrh7MDYC.

5

Patrick Massot, 2020. URL: https://github.com/PatrickMassot/leanblueprint.

6

JAN SCHRÖER. Einführung in die algebra. SKRIPT, WS 22/23, BONN, 2023.

7

Terence Tao, Nov 2023. URL: https://terrytao.wordpress.com/2023/11/18/formalizing-the-proof-of-pfr-in-lean4-using-blueprint-a-short-tour/.

8

Freek Wiedijk. URL: https://www.cs.ru.nl/~freek/100/index.html.