MoL-2026-01: Amos Nicodemus Formalizing Unsolvability Certificates for Automated Planning in Lean 4 1.Full Text, 2.Abstract. < Back