Logic in Computer Science

New submissions for Sat, 26 Sep 2026

Total of 1 entry.

Replacements (showing 1 of 1 entries)

[1] marXiv:2609.00019 [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)