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

Split convex_choice #27

Closed garrigue closed 3 years ago

garrigue commented 3 years ago

Split the part about axiom equivalence from convex_choice.v into convex_equiv.v

affeldt-aist commented 3 years ago

~add a link to the arxiv version of the CICM paper in the documentation part of the file?~ DONE