Matita Community

Mailing Lists

Discussions about Matita are held in several places, mainly on the following mailing lists:

matita-user

Discussion forum for Matita users.

matita-devel

Discussion forum for Matita developers.

All lists are open to subscriptions for everyone, subscription is required in order to post. Archives of old posts are available. The mailing list are driven by Mailman, in order to subscribe and obtain usage information follow the links above and read the instructions.

Miki

We are currently developing Wiki-like technologies to support collaborative development of the Matita library, encouraging people to expand, modify and elaborate previous contributions. "Miki: a formal Mathematics wIKI" is the codename of the effort.