Matita Community
-Miki
+
+ 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 @@ -17,8 +45,8 @@ contributions. "Miki: a formal Mathematics wIKI" is the codename of the effort.
+ +