Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa. Examples of Formal Proofs about Data Compression. In International Symposium on Information Theory and Its Applications, ISITA 2018, Singapore, October 28-31, 2018. pages 633-637, IEEE, 2018. [doi]
Abstract is missing.