It is currently Wed Feb 08, 2012 4:58 am
-
-
General Questions and Help
Mostly for New Users
- 14 Topics
- 42 Posts
-
Last post by max99x
on Tue Jan 11, 2011 9:43 pm
-
-
Prover9
The Theorem Prover
- 42 Topics
- 221 Posts
-
Last post by mkinyon
on Mon Apr 04, 2011 5:22 pm
-
-
Mace4
Searching for Models and Conterexamples
- 8 Topics
- 25 Posts
-
Last post by TegiriNenashi
on Tue Nov 29, 2011 2:33 am
-
-
Other LADR Programs
Transforming and Filtering Data
- 5 Topics
- 15 Posts
-
Last post by mccune
on Mon Feb 22, 2010 6:29 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
- 5 Topics
- 10 Posts
-
Last post by aherranz
on Thu Jul 29, 2010 9:44 am
-
-
Applications
Areas in which Prover9 and Mace4 are Used
- 2 Topics
- 10 Posts
-
Last post by mspinksau
on Wed Jun 15, 2011 4:00 pm
-
-
LADR Changes and Releases
Past, Current, and Future
- 5 Topics
- 7 Posts
-
Last post by mccune
on Tue Jan 11, 2011 9:40 pm
Who is online
In total there are 2 users online :: 0 registered, 0 hidden and 2 guests (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 343 • Total topics 103 • Total members 45 • Our newest member max99x