Matita Community
-Miki
+Mailing lists
- 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. + Discussions about Matita are held in the following mailing list
+ Matita 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
+