All Categories → No Category → abel-ruffini

Top 1 abel-ruffini open source projects

A proof of Abel-Ruffini theorem.

✭ 26

Coq Nix Makefile coq ssreflect galois-theory mathcomp abel-ruffini

1-1 of 1 abel-ruffini projects