Abel

A proof of Abel-Ruffini theorem.

GitHub

28 stars
8 watching
8 forks
Language: Coq
last commit: about 2 months ago
abel-ruffinicoqgalois-theorymathcompssreflect