Some QED-related items:

• The QED discussion mailing list archives in hypertext format.

• The original archives can be found in this Argonne FTP site.

• The QED FTP directory at Argonne.

• The QED Manifesto:
  • Text version at Argonne.
  • dvi version (local).
  • TeX version (local).

• Other things:

  • The Mizar FTP directory at the Australian National University.

  • Carolyn Talcott's list of Automated Reasoning Systems (FTP site).

  • The ARPA Knowledge Sharing Effort mail archives.

  • My page of Theorem-proving resources.

Tomás E. Uribe