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. +
+ + +