Matita -- Matita mailing list | |
|
|
About Matita | |
This list is about the Matita Interactive Theorem Prover, all topics regarding the tool are accepted To see the collection of prior postings to the list, visit the Matita Archives. |
|
Using Matita | |
To post a message to all the list members, send email to
matita@cs.unibo.it.
You can subscribe to the list, or change your existing subscription, in the sections below. |
|
Subscribing to Matita | |
Subscribe to Matita by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a private list, which means that the list of members is not available to non-members. | |
Matita Subscribers | |
|
![]() version 2.1.15 |
![]() |
![]() |
![]() |