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

 
 
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.

Back to the top

Powered by Savane 3.13-cf05.
Corresponding source code