Programming Languages

New submissions for Sat, 26 Sep 2026

Total of 1 entry.

Cross-lists (showing 1 of 1 entries)

[1] marXiv:2609.00019 (cross-list from cs.LO) [pdf]

Title: Verified Terrain-Following Flight Planning in LeanExe

Authors: Jamie Stephens

Comments: 17 pages, five plotted runs in four figures

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)