Prover9 - Mace4 - LADR Forums

Automated Deduction for First-Order and Equational Logic

Skip to content

It is currently Tue Feb 09, 2010 1:02 pm

  • Forum
    Topics
    Posts
    Last post
  • General Questions and Help
    Mostly for New Users
    11 Topics
    35 Posts
    Last post by mccune View the latest post
    on Wed Oct 07, 2009 4:31 pm
  • Prover9
    The Theorem Prover
    34 Topics
    189 Posts
    Last post by TXLogic View the latest post
    on Thu Jan 14, 2010 11:46 pm
  • Mace4
    Searching for Models and Conterexamples
    7 Topics
    24 Posts
    Last post by RSchulz View the latest post
    on Fri Sep 04, 2009 12:10 am
  • 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
    4 Topics
    7 Posts
    Last post by mccune View the latest post
    on Wed Oct 28, 2009 3:37 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
    5 Topics
    7 Posts
    Last post by mccune View the latest post
    on Thu Nov 12, 2009 4:47 pm

Login  •  Register

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 296 • Total topics 85 • Total members 34 • Our newest member TXLogic

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