Tau H&S Contact Us		Tau Documentation Logic Matters References Miscellany

---

• Tau Documentation
  • Examples - Start here.
  • Introduction — What is Tau?
  • Tau Help -- Basic Instructions.
  • TauWiki docmentation
  • ESCAR Paper describing Tau; Slideshow
  • Paper submitted to ESAR - The Journal of Automated Reasoning Special Issue on Empirically Successful Automated Reasoningl (contains 'Axiomatizing Einstein's Mice'; see Einstein's Mice 28, and Einstein's Mice 29; for the background of the problem, see http://www.weitz.de/einstein.html).
  • Stanford Mathematical Logic Seminars: Axiomatizing Einstein's Mice; Slides
  • Tests - A suite of logic problems.
  • List of axioms
  • Tau Architecture
    • Design Notes
    • User's Guide
• Logic Matters
  • Logic Notes
  • Logic Glossary (Peter Suber)
• References
  • Internet References
  • Print References
  • Other References
  • Search Website
• Miscellany
  • Symbol Charts

---