Archive
Archive — Volume 1, 2026
Every ProofPress™ entry is a formally verified reduction: each compiles on the pinned Lean 4 v4.31.0 toolchain with 0 sorry and 0 custom axioms. Entries are listed by issue month and can be searched by title, coordinate or domain tag. All entries are deposited under DOI 10.5281/zenodo.18719748 and verified in the SNSFT/identityphysics repository.
Individual entry pages are being published one at a time; until an entry's page is live, its title links to the verified Lean source.