Matita Community
-Mailing Lists
+Mailing lists
- Discussions about Matita are held in several places, mainly on the - following mailing lists: + Discussions about Matita are held in the following mailing list
--
-
- 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. + 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
-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. -