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

HOL 7

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

Jul 28th 2012, 16:31 GMT

GeoProof svn2006-08-24

GeoProof project is a dynamic geometry application with proof related features.

Nov 1st 2006, 14:05 GMT