All Categories → No Category → galois-theory

Top 1 galois-theory open source projects

A proof of Abel-Ruffini theorem.

✭ 26

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

1-1 of 1 galois-theory projects