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

rename `cPr_eqE'` to `cPr_eq_def` #122

Closed affeldt-aist closed 3 months ago

affeldt-aist commented 3 months ago

https://github.com/affeldt-aist/infotheo/blob/16e38b6a52d63ffc4fb939540933f16b6a76c339/probability/proba.v#L1559C7-L1559C15

@garrigue @t6s @weng-chenghui