GitHub repository: math-comp/Abel
Primary language: Rocq Prover
Description: A proof of Abel-Ruffini theorem.