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

fix naming #121

Closed affeldt-aist closed 4 months ago

affeldt-aist commented 4 months ago

@t6s @garrigue @weng-chenghui a couple of deprecations to fix inconsistent namings that we spotted during meetings