You are not logged in |
Return to the list of grants
Theoretical foundations of interactive theorem provers with unrestricted recursive definitions.
- Contract number
- 2012/07/N/ST6/03398
- Starting date
- July 11, 2013
- Ending date
- Jan. 10, 2016
- Financed by
- National Science Center
