Digital Circuitality: Formal Proofs and Paper Series
收藏官方服务：
资源简介：
208 machine-checked Coq proof files and 4 foundational papers establishing the formal basis of Digital Circuitality (informational closure in computational systems). Papers II-IV incorporate the Kish-Ferry correction: Landauer's erasure principle replaced by Brillouin's negentropy principle and Shannon information entropy. Reviewed by Prof. Laszlo B. Kish, Texas A&M University.
提供机构：
Zenodo创建时间：
2026-03-22
