Package: matita

"matita" package binaries on Debian:

/usr/bin/matitac /usr/bin/matitaclean /usr/bin/matitac.opt /usr/bin/matita /usr/bin/matita.opt

You may install this package on Debian with apt-get install matita