Stp -- Scottish Theorem Proving

About Stp

To see the collection of prior postings to the list, visit the Stp Archives.

Using Stp

To post a message to all the list members, send email to stp@macs.hw.ac.uk. You can subscribe to the list, or change your existing subscription, in the sections below.

Subscribing to Stp

Subscribe to Stp by filling out the following form. This is a closed list, which means your subscription will be held for approval. You will be notified of the administrator's decision by email. This is also a private list, which means that the members list is not available to non-members. Your email address:   You must enter a privacy password. This provides only mild security, but should prevent others from messing with your subscription. Do not use a valuable password as it will occasionally be emailed back to you in cleartext. Once a month, your password will be emailed to you as a reminder. Pick a password:   Reenter password to confirm:   Would you like to receive list mail batched in a daily digest? No Yes

Stp Subscribers

The subscribers list is only available to the list members. Enter your address and password to visit the subscribers list: Address: Password:    To change your subscription (set options like digest and delivery modes, get a reminder of your password, or unsubscribe from Stp), enter your subscription email address: