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

Robust mean estimators #120

Closed hoheinzollern closed 4 months ago

hoheinzollern commented 4 months ago

This PR integrates the development of robust mean estimators in Infotheo

@affeldt-aist @t6s @ieva-itu

t6s commented 4 months ago

CI is broken since coq-interval is missing.

affeldt-aist commented 4 months ago

I have added coq-interval to the meta.yml file and at least we have one test that goes through.

affeldt-aist commented 4 months ago

I have added coq-interval to the meta.yml file and at least we have one test that goes through.