Frobenius

First stable release compatible with Math-Comp version 2.2

Frobenius

First stable release compatible with Math-Comp version 2.0

Update to mathcomp 2 and CI test by @hivert and @CohenCyril

Frobenius

First stable release compatible with Math-Comp version 2.0

What's Changed

• Update to mathcomp 2 and CI test by @hivert and @CohenCyril

CRMAnniv

Before my talk at CMR 50 anniversary.

Compatibility with Coq 8.5

First release compatible with Coq 8.5 / mathcomp 1.6

First release using multivariate polynomials

v0.7

Merge branch 'SymGroup'

v0.6

Release of the proof of Littlewood Richardson rule and Pieri Rules before merging the Hook Length Proof and reorganizing the bunch of code.