← A Presentation of the Absolute Galois Group of ℚ
2
Behind the project
Development record
Coming soon
A source-checked account of how the candidate, proof, and formalizations were developed.