theorem provers

• Subject: theorem provers
• From: Richard Fateman
• Date: Thu, 08 Jan 2004 13:10:03 -0800

Actually NQTHM,  is already in Lisp and might be even easier.

RJF

• Prev by Date: How to get diff to yield result in terms of original function
• Next by Date: feature request for "NOT"
• Previous by thread: TeX output from Maxima 5.9.0
• Next by thread: Tidying up share/contrib/rand
• Index(es):
  • Date
  • Thread