Pinned Loading

1. The-Orientation-Boundary The-Orientation-Boundary Public

   Public Lean 4 companion artifact for the orientation-boundary manuscripts: mechanized impossibility, escape, and certification for step-duplicating recursors.

   Lean 1