Matita Home Developers Documentation Community Download

Current team members

Andrea Asperti - Full Professor
Claudio Sacerdoti Coen - Researcher
Enrico Tassi - PhD Student
Stefano Zacchiroli - PhD Student

Former members

Students, developers and contributors

Pietro Di Lena
Michele Galata'
Alberto Griggio
Matteo Selmi
Vincenzo Tamburrelli