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