- 905 downloads
The Goal of Hilbert II is the creation of a system that enables a working mathematician to put the...
Feb 11th 2013, 17:44 GMT
- Quality Assurance and Testing
- 592 downloads
A programming environment in which theorems can be proved and proof tools implemented
Jul 28th 2012, 16:31 GMT