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

compilation with latest available packages #130

Open affeldt-aist opened 1 week ago

affeldt-aist commented 1 week ago

It has been reported that installation of infotheo 0.7.1 fails with analysis 1.5.0 (though the error might actually be related to the Coq version)

@t6s