Proof Representations: From Theory to Applications (Dagstuhl Seminar 24341). - Anupam Das 002; Elaine Pimentel; Lutz Straßburger; Robin Martinot (Dagstuhl Reports, 2024)

Ontological purity for Formal Proofs. - Robin Martinot (Rev. Symb. Log., 2024)