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

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.
Project administrators can use the
administrative interface to manage the list.

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.
Project administrators can use the
administrative interface to manage the list.