Published September 26, 2026 | Version v4
Preprint Open

A Machine-Checked Formalization of Integrated Information Theory in Lean4

Authors/Creators

Files

main.pdf

Files (1.7 MB)

Name Size Download all
md5:dc4cdfae2d4de3c5397e353d9d6d9d54
477.3 kB Preview Download
md5:b9c45fafcaaba4b8431a09b0b13c1afe
1.2 MB Preview Download
md5:21220351b74ff1a571242858ff59fee4
85.3 kB Preview Download

Additional details

Software

Repository URL
https://github.com/rndmx/Integ/releases/tag/v1.1