close
The Wayback Machine - https://web.archive.org/web/20081230011330/http://forums.prover9.org:80/

Prover9 - Mace4 - LADR Forums

Automated Deduction for First-Order and Equational Logic

Skip to content

Last visit was: Tue Dec 30, 2008 1:13 am

It is currently Tue Dec 30, 2008 1:13 am

  • Forum
    Topics
    Posts
    Last post
  • General Questions and Help
    Mostly for New Users
    5 Topics
    18 Posts
    Last post by mccune View the latest post
    on Tue Nov 11, 2008 5:21 pm
  • Prover9
    The Theorem Prover
    15 Topics
    81 Posts
    Last post by mkinyon View the latest post
    on Mon Dec 29, 2008 12:59 pm
  • Mace4
    Searching for Models and Conterexamples
    3 Topics
    6 Posts
    Last post by mkinyon View the latest post
    on Fri Nov 14, 2008 8:31 pm
  • Other LADR Programs
    Transforming and Filtering Data
    3 Topics
    11 Posts
    Last post by mkinyon View the latest post
    on Mon Nov 17, 2008 4:21 pm
  • The GUI
    The Prover9-Mace4 Graphical User Interface
    2 Topics
    5 Posts
    Last post by mkinyon View the latest post
    on Wed Nov 19, 2008 4:28 pm
  • The Language
    Syntax of Formulas and Clauses
    2 Topics
    5 Posts
    Last post by RSchulz View the latest post
    on Sat Oct 11, 2008 2:49 pm
  • Applications
    Areas in which Prover9 and Mace4 are Used
    1 Topics
    3 Posts
    Last post by mspinksau View the latest post
    on Wed Nov 26, 2008 10:07 am
  • LADR Changes and Releases
    Past, Current, and Future
    3 Topics
    5 Posts
    Last post by mccune View the latest post
    on Wed Nov 19, 2008 5:42 am

Who is online

In total there are 2 users online :: 2 registered, 0 hidden and 0 guests (based on users active over the past 5 minutes)
Most users ever online was 5 on Wed Oct 29, 2008 3:22 pm

Registered users: Alexa [Bot], Yahoo [Bot]
Legend: Administrators, Global moderators

Statistics

Total posts 134 • Total topics 34 • Total members 15 • Our newest member clefort

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