New Concepts of Formal Proof and Proof Representations

01.02.2020 - 30.09.2023
Research funding project

People

Project leader

Institute

Grant funds

  • FWF - Ă–sterr. Wissenschaftsfonds (National) Programm Joint Projects International Programmes Austrian Science Fund (FWF) Call identifier I 4427-N

Research focus

  • Beyond TUW-research focus: 100%

External partner

  • Moscow State University

Publications