Mechanized Safety Proofs for Disc-Constrained Aircraft