Submission 268f33c99394
| 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:35 |
| PDF: | submitted PDF |
| Status: | accepted |
| Paper: | marXiv:2609.00005 |
Event log
| Fri, 18 Sep 2026 16:35:44 UTC | submitted | |
| Fri, 18 Sep 2026 16:35:44 UTC | review started | |
| Fri, 18 Sep 2026 16:37:04 UTC | accepted |
Review
Decision: accept Accept. ## Remarks No remarks.