Prover9 - Mace4 - LADR Forums

Automated Deduction for First-Order and Equational Logic

Skip to content

It is currently Fri Sep 03, 2010 12:03 am

  • Forum
    Topics
    Posts
    Last post
  • General Questions and Help
    Mostly for New Users
    13 Topics
    39 Posts
    Last post by wided View the latest post
    on Sun Apr 25, 2010 10:23 am
  • Prover9
    The Theorem Prover
    40 Topics
    218 Posts
    Last post by mkinyon View the latest post
    on Sat Aug 07, 2010 4:12 am
  • 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
    5 Topics
    15 Posts
    Last post by mccune View the latest post
    on Mon Feb 22, 2010 6:29 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
    5 Topics
    10 Posts
    Last post by aherranz View the latest post
    on Thu Jul 29, 2010 9:44 am
  • 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

Who is online

In total there are 4 users online :: 2 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: Google [Bot], MSN [Bot]
Legend: Administrators, Global moderators

Statistics

Total posts 333 • Total topics 95 • Total members 41 • Our newest member sgpulman

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