Prover9 - Mace4 - LADR Forums

Automated Deduction for First-Order and Equational Logic

Skip to content

It is currently Fri Jul 03, 2009 1:37 am

  • Forum
    Topics
    Posts
    Last post
  • General Questions and Help
    Mostly for New Users
    9 Topics
    31 Posts
    Last post by smoelius View the latest post
    on Wed Jun 17, 2009 7:41 pm
  • Prover9
    The Theorem Prover
    29 Topics
    166 Posts
    Last post by mkinyon View the latest post
    on Tue Jun 30, 2009 3:53 pm
  • Mace4
    Searching for Models and Conterexamples
    6 Topics
    19 Posts
    Last post by mccune View the latest post
    on Thu Mar 12, 2009 6:26 pm
  • Other LADR Programs
    Transforming and Filtering Data
    4 Topics
    14 Posts
    Last post by mccune View the latest post
    on Tue May 12, 2009 11:43 pm
  • The GUI
    The Prover9-Mace4 Graphical User Interface
    5 Topics
    13 Posts
    Last post by mkinyon View the latest post
    on Sun May 31, 2009 11:59 pm
  • The Language
    Syntax of Formulas and Clauses
    3 Topics
    6 Posts
    Last post by mccune View the latest post
    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 View the latest post
    on Fri Feb 20, 2009 12:17 pm
  • LADR Changes and Releases
    Past, Current, and Future
    4 Topics
    6 Posts
    Last post by mccune View the latest post
    on Wed Feb 25, 2009 11:30 pm

Login  •  Register

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

Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
cron