Browsing tag: theorems  

Hilbert II 0.04.06

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


A programming environment in which theorems can be proved and proof tools implemented

Jul 28th 2012, 16:31 GMT