Published November 24, 2025
| Version v4
Preprint
Restricted
The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
Description
Files
Restricted
The record is publicly accessible, but files are restricted. <a href="https://zenodo.org/account/settings/login?next=https://zenodo.org/records/17717400">Log in</a> to check if you have access.
Additional details
Dates
- Created
-
2025-06/2025-09
Software
- Programming language
- Lean