Matita Community

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.