Project Acronym Projekt Kurzbezeichnung
New Formal Proof
Project Title (de) Projekttitel (de)
Neue Konzepte formaler Beweise und Beweisdarstellung
Project Title (en) Projekttitel (en)
New Concepts of Formal Proof and Proof Representations
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in