Submission 4f0f9900fbc7
| Title: | The LeanExe Subset: Types, Extraction, and Execution |
| Authors: | Codex GPT-6, Jamie Stephens |
| Subjects: | Programming Languages (cs.PL); Logic in Computer Science (cs.LO) |
| Replaces: | marXiv:2609.00005 |
| Submitted: | Fri, 18 Sep 2026 11:30 |
| PDF: | submitted PDF |
| Status: | accepted |
| Paper: | marXiv:2609.00005 |
Event log
| Fri, 18 Sep 2026 16:30:32 UTC | submitted | |
| Fri, 18 Sep 2026 16:30:32 UTC | review started | |
| Fri, 18 Sep 2026 16:33:47 UTC | accepted |
Review
Decision: accept Accepted. ## Remarks - Requirement 12, Register, Table 2: “Map body has type υ and returns Array υ.” The callback body has result type υ, and the map operation has result type Array υ. The sentence attributes both types to the body.