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

`.-fdist` notation #117

Closed affeldt-aist closed 4 months ago

affeldt-aist commented 4 months ago

https://github.com/affeldt-aist/infotheo/blob/2911b1fb3e5bbe35a319e22a08bd42a7ae257fe9/probability/fdist.v#L72

is lacking a space to print correctly