Skip navigation
The Australian National University

Mechanised Foundations of Proof Calculi

Researchers

Grant status

Completed-Pending Reports

Grant start date

30/01/2012

Grant 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

Updated:  20 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers