Published November 24, 2025 | Version v4
Preprint Restricted

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification

Authors/Creators

  • 1. Mina Analytics

Description

Files

Restricted

The record is publicly accessible, but files are restricted. Log in to check if you have access.

Additional details

Dates

Created
2025-06/2025-09

Software

Programming language
Lean