search

affeldt-aist / infotheo

A Coq formalization of information theory and linear error-correcting codes
GNU Lesser General Public License v2.1
64 stars 15 forks source link

improve vandermonde matrix #86

Closed yoshihiro503 closed 1 year ago

yoshihiro503 commented 1 year ago

c.f. https://github.com/math-comp/math-comp/pull/937