Neue Konzepte formaler Beweise und Beweisdarstellung


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
 
Abstract Zusammenfassung
,,,,,,,
 
Status
IN PROGRESS
Funder/Funding Agency Fördergeber
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
I 4427-N