Mechanized Reasoning -- Mailing Lists
This page is still under construction, so it is by no means complete.
For a better service to the mechanized
reasoning community we need your help, so please contribute!.
Send any links, suggestions, encouragement, or
donations by clicking
here.
The following mailing lists discuss topics that are relevant for the
field of deduction systems.
Last Updated 27 January 1997.