Project Acronym Projekt Kurzbezeichnung
ASCP
Project Title (de) Projekttitel (de)
Algorithmic Structuring and Compression of Proofs
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in
Status
CLOSED