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

more uniform naming convention #90

Closed affeldt-aist closed 1 year ago

affeldt-aist commented 1 year ago

fyi @t6s

affeldt-aist commented 1 year ago

TODO: use `X in fdist_convex, empty jfdist.v, chap2.v -> merge with entropy.v?