The origins of Matita go back to 1999 and are intertwined with the
HELM Project. Since then, a
lot of people contributed both ideas and source code that have made
Matita what it looks today. In this page we tried to summarize all
of them, we apologize for whom we forgot to mention.
Current team members
Former members
- Ferruccio Guidi - PhD
- Luca Padovani - Lecturer
- Irene Schena - PhD
- Pietro Di Lena - Undergrad Student
- Michele Galatá - Undergrad Student
- Alberto Griggio - Undergrad Student
- Matteo Selmi - Undergrad Student
- Vincenzo Tamburrelli - Undergrad Student