Lazily-Verifiable SAT Proof Checker in SPARK 2014. - André Dietrich; Christopher Schmidt; Nico Enghardt; Tobias Philipp (Datenschutz und Datensicherheit, 2023)