Matita Home
Developers
Documentation
Community
Download
Since there is no official release, you can browse the svn repository and get sources of the
ocaml/
and
matita/
modules.