Matita Community

Mailing lists

Discussions about Matita are held in the following mailing list

The list is open to subscriptions for everyone, subscription is required in order to post. Archives of old posts are available.

Here a link to the administrative interface