infotheo vandermonde to MathComp

vandermonde to MathComp

Open affeldt-aist opened this issue 3 years ago • 3 comments

https://github.com/affeldt-aist/infotheo/blob/56a667c1421a9eb7a62593512a609711c0938f4f/lib/vandermonde.v#L8

this should be cleaned and PRed to MathComp...

Nov 15 '21 02:11 affeldt-aist

NB: wip by @yoshihiro503

Oct 14 '22 12:10 affeldt-aist

See https://github.com/math-comp/math-comp/pull/937

Nov 01 '22 01:11 affeldt-aist

We should now remove it and use MathComp instead.

Nov 20 '23 06:11 affeldt-aist