nixpkgs / coqPackages.mathcomp-abel - Abel - Galois and Abel - Ruffini Theorems

Homepage - https://github.com/math-comp/abel

License - CECILL-B

Maintainers - Cyril Cohen

Releases

1.2.0 (expand/collapse)
From commit 00460bd6 to 00460bd6
1.0.0 (expand/collapse)
From commit 039e3758 to 039e3758
1.2.0 (expand/collapse)
From commit 00af64ce to 021410c0
1.0.0 (expand/collapse)
From commit 04af07c6 to 00f7e1e8