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.