Workshop on Proof eXchange for Theorem Proving (7. : 2021 : Online)

Die als Präsenzveranstaltung geplante Konferenz wurde online abgehalten.