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