Matita Development
+Matita Developers
The origins of Matita go back to 1999 and are intertwined with the HELM Project. Since then, a @@ -18,16 +18,17 @@ of them, we apologize for whom we forgot to mention.
-Current team members
+People
+Current team members
- Andrea Asperti - Full Professor
- Claudio Sacerdoti Coen - Lecturer +
- Ferruccio Guidi - PhD
- Enrico Tassi - PhD Student
- Stefano Zacchiroli - PhD Student -
- Ferruccio Guidi - PhD
Former members
+Former members
- Luca Padovani - Lecturer
- Irene Schena - PhD