Providing documentation and test cases for the theorem prover Isabelle

Project: Research

Project Details

StatusFinished
Effective start/end date1/12/2011 → 30/11/2012

Funding

  • DFG Deutsche Forschungsgemeinschaft: £3,499.00