Browsing tag: predicate calculus  

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

Flipper 0.02.0

Flipper is a program that does randomised local search for satisfiability of 3 variable prenex sen...

Feb 16th 2008, 08:25 GMT