It is currently Fri Jul 03, 2009 1:37 am
-
-
General Questions and Help
Mostly for New Users
- 9 Topics
- 31 Posts
-
Last post by smoelius
on Wed Jun 17, 2009 7:41 pm
-
-
Prover9
The Theorem Prover
- 29 Topics
- 166 Posts
-
Last post by mkinyon
on Tue Jun 30, 2009 3:53 pm
-
-
Mace4
Searching for Models and Conterexamples
- 6 Topics
- 19 Posts
-
Last post by mccune
on Thu Mar 12, 2009 6:26 pm
-
-
Other LADR Programs
Transforming and Filtering Data
- 4 Topics
- 14 Posts
-
Last post by mccune
on Tue May 12, 2009 11:43 pm
-
-
The GUI
The Prover9-Mace4 Graphical User Interface
- 5 Topics
- 13 Posts
-
Last post by mkinyon
on Sun May 31, 2009 11:59 pm
-
-
The Language
Syntax of Formulas and Clauses
- 3 Topics
- 6 Posts
-
Last post by mccune
on Fri Mar 13, 2009 4:39 pm
-
-
Applications
Areas in which Prover9 and Mace4 are Used
- 2 Topics
- 7 Posts
-
Last post by mspinksau
on Fri Feb 20, 2009 12:17 pm
-
-
LADR Changes and Releases
Past, Current, and Future
- 4 Topics
- 6 Posts
-
Last post by mccune
on Wed Feb 25, 2009 11:30 pm
Who is online
In total there is 1 user online :: 0 registered, 0 hidden and 1 guest (based on users active over the past 5 minutes)
Most users ever online was 24 on Thu Mar 19, 2009 12:44 pm
Registered users: No registered users
Legend: Administrators, Global moderators
Statistics
Total posts 262 • Total topics 71 • Total members 35 • Our newest member humayoun