Skip to content

Galois and Abel-Ruffini theorem 1.0.0
Compare
Choose a tag to compare
@CohenCyril CohenCyril released this 13 Jan 20:04
· 79 commits to master since this release
1.0.0
12b2d5e
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This is a full proof Coq/mathcomp of Galois and Abel-Ruffini theorem about the unsolvability of the quintic.
It is compatible with mathcomp version 1.11 and 1.12 and Coq from 8.10 to 8.13.

Assets 2
Loading