View unanswered posts
Return to advanced search
-
-
Problem with command line version
by wided on Sun Apr 25, 2010 10:23 am
in General Questions and Help
- 0
- 210
-
by wided
on Sun Apr 25, 2010 10:23 am
-
-
Literal ordering
by strangequark on Tue Apr 20, 2010 4:34 pm
in Prover9
- 0
- 106
-
by strangequark
on Tue Apr 20, 2010 4:34 pm
-
-
bug in ladr_to_tptp on Macs
by mccune on Mon Feb 22, 2010 6:29 pm
in Other LADR Programs
- 0
- 314
-
by mccune
on Mon Feb 22, 2010 6:29 pm
-
-
LADR 2009-11A has been released
by mccune on Thu Nov 12, 2009 4:47 pm
in LADR Changes and Releases
- 0
- 456
-
by mccune
on Thu Nov 12, 2009 4:47 pm
-
-
Bug with prolog_style_variables
by mccune on Wed Oct 28, 2009 3:37 pm
in The Language
- 0
- 477
-
by mccune
on Wed Oct 28, 2009 3:37 pm
-
-
Prover 9 for social choice theorems
by grandi on Thu May 28, 2009 2:53 pm
in General Questions and Help
- 0
- 300
-
by grandi
on Thu May 28, 2009 2:53 pm
-
-
Bug in interpformat, isofilter parsing
by mccune on Fri Mar 13, 2009 4:39 pm
in The Language
- 0
- 514
-
by mccune
on Fri Mar 13, 2009 4:39 pm
-
-
LADR 2009-02A released
by mccune on Wed Feb 25, 2009 11:30 pm
in LADR Changes and Releases
- 0
- 600
-
by mccune
on Wed Feb 25, 2009 11:30 pm
-
-
Symbol order for Mace4
by mccune on Wed Feb 18, 2009 7:56 pm
in Mace4
- 0
- 379
-
by mccune
on Wed Feb 18, 2009 7:56 pm
-
-
Wish List
by mkinyon on Wed Nov 19, 2008 5:28 pm
in The GUI
- 0
- 579
-
by mkinyon
on Wed Nov 19, 2008 5:28 pm
-
-
LADR-2008-11A has been released
by mccune on Wed Nov 19, 2008 6:42 am
in LADR Changes and Releases
- 0
- 502
-
by mccune
on Wed Nov 19, 2008 6:42 am
-
-
Complete Changelog
by mccune on Thu Aug 28, 2008 9:55 pm
in LADR Changes and Releases
- 0
- 675
-
by mccune
on Thu Aug 28, 2008 9:55 pm
-
-
Posting Guidelines
by mccune on Thu Aug 28, 2008 9:43 pm
in General Questions and Help
- 0
- 502
-
by mccune
on Thu Aug 28, 2008 9:43 pm
Return to advanced search