Mechanised Foundations of Proof Calculi
Researchers
- Emeritus Professor Rajeev Gore (Primary Investigator)
- Dale Miller (Secondary Investigator)
Grant status
CompletedGrant start date
30/01/2012Grant funding
- 2012: $140,000 from Australian Research Council (ARC)
- 2013: $110,000 from Australian Research Council (ARC)
- 2014: $110,000 from Australian Research Council (ARC)