Library of Formalized Mathematics for Isabelle/Isar (ZF Logic) - Mailing Lists

Group

isarmathlib-devel: To see the collection of prior posting to the list, visit the isarmathlib-devel archives.
To post a message to all the list members, write to -email is unavailable-.
You can subscribe to the list and unsubscribe from the list by following instructions on the list information page.
Group administrators can use the administrative interface to manage the list.
isarmathlib-users: To see the collection of prior posting to the list, visit the isarmathlib-users archives.
To post a message to all the list members, write to -email is unavailable-.
You can subscribe to the list and unsubscribe from the list by following instructions on the list information page.
Group administrators can use the administrative interface to manage the list.