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

Infotheo052 #102

Closed affeldt-aist closed 1 year ago

affeldt-aist commented 1 year ago

compatibility with Coq 8.17

@garrigue @t6s @yoshihiro503