issues
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
renaming
#30
Closed
affeldt-aist
closed
3 years ago
affeldt-aist
commented
3 years ago
~- lub_op -> lub~
lub -> biglub
lub_binary -> lub
also introduce a semilattice structure
fixes #28
~- lub_op -> lub~
fixes #28