Prob-users -- Forum to discuss usage of the ProB toolkit for the B-method


About Prob-users
English (USA)

To see the collection of prior postings to the list, visit the Prob-users Archives.

Using Prob-users
To post a message to all the list members, send email to

You can subscribe to the list, or change your existing subscription, in the sections below.

Subscribing to Prob-users

Subscribe to Prob-users by sending an email with the word 'subscribe' in the subject or body to

Prob-users Subscribers

(The subscribers list is only available to the list administrator.)

Enter your admin address and password to visit the subscribers list:

Admin address: Password:   

To unsubscribe from Prob-users, get a password reminder, or change your subscription options enter your subscription email address:

If you leave the field blank, you will be prompted for your email address

Prob-users list
Prob-users administrative interface (requires authorization)
Overview of all mailing lists

Delivered by Mailman
version 2.1.9
Python Powered GNU's Not Unix