Deprecated: Function set_magic_quotes_runtime() is deprecated in /home/prover9/www/forums/common.php on line 106
[phpBB Debug] PHP Notice: in file /includes/session.php on line 916: Cannot modify header information - headers already sent by (output started at /common.php:106)
[phpBB Debug] PHP Notice: in file /includes/session.php on line 916: Cannot modify header information - headers already sent by (output started at /common.php:106)
[phpBB Debug] PHP Notice: in file /includes/session.php on line 916: Cannot modify header information - headers already sent by (output started at /common.php:106)
[phpBB Debug] PHP Notice: in file /includes/functions.php on line 3526: Cannot modify header information - headers already sent by (output started at /common.php:106)
[phpBB Debug] PHP Notice: in file /includes/functions.php on line 3528: Cannot modify header information - headers already sent by (output started at /common.php:106)
[phpBB Debug] PHP Notice: in file /includes/functions.php on line 3529: Cannot modify header information - headers already sent by (output started at /common.php:106)
[phpBB Debug] PHP Notice: in file /includes/functions.php on line 3530: Cannot modify header information - headers already sent by (output started at /common.php:106)
Prover9 - Mace4 - LADR Forums • Index page

Prover9 - Mace4 - LADR Forums

Automated Deduction for First-Order and Equational Logic

Skip to content

It is currently Wed Feb 08, 2012 4:58 am

  • Forum
    Topics
    Posts
    Last post
  • General Questions and Help
    Mostly for New Users
    14 Topics
    42 Posts
    Last post by max99x View the latest post
    on Tue Jan 11, 2011 9:43 pm
  • Prover9
    The Theorem Prover
    42 Topics
    221 Posts
    Last post by mkinyon View the latest post
    on Mon Apr 04, 2011 5:22 pm
  • Mace4
    Searching for Models and Conterexamples
    8 Topics
    25 Posts
    Last post by TegiriNenashi View the latest post
    on Tue Nov 29, 2011 2:33 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
    10 Posts
    Last post by mspinksau View the latest post
    on Wed Jun 15, 2011 4:00 pm
  • LADR Changes and Releases
    Past, Current, and Future
    5 Topics
    7 Posts
    Last post by mccune View the latest post
    on Tue Jan 11, 2011 9:40 pm

Login

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

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