2 ms·
Information Theory with Coq[1]. Formal approach. [1] https://github.com/affeldt-aist/infotheo https://github.com/affeldt-aist/infotheo
by xvilka 7y ago
Information Theory with Coq[1]. Formal approach.
[1] https://github.com/affeldt-aist/infotheo https://github.com/affeldt-aist/infotheo