Formalization of Shannon’s Theorems in SSReflect-Coq
From MaRDI portal
Publication:2914745
DOI10.1007/978-3-642-32347-8_16zbMath1314.68270MaRDI QIDQ2914745
Reynald Affeldt, Manabu Hagiwara
Publication date: 20 September 2012
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32347-8_16
DB lookup for MSC labels failed
Uses Software