Project Acronym Projekt Kurzbezeichnung
FormBeweis
Project Title (de) Projekttitel (de)
Formalizing Proof Theory
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in