math-comp / Abel

A proof of Abel-Ruffini theorem.
28 stars 8 forks source link

fix meta.yml #50

Closed CohenCyril closed 3 years ago