X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=369176395b8dc6d24cd685a647af0c7373ee533d;hb=f2039f5c9e68dc69c86c77758bc521acd30e973f;hp=74b2037d66c2858e8ee8c6e574000dc07f3b455d;hpb=d0b2bceffedce633f496b4e4fcc557be73fbfe1d;p=helm.git diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 74b2037d6..369176395 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -1,15 +1,15 @@ - - + + - Matita - Development + Matita Developers

-

Matita Development

+

Matita Developers

The origins of Matita go back to 1999 and are intertwined with the HELM Project. Since then, a @@ -22,14 +22,15 @@

Current team members

Andrea Asperti - Full Professor
Claudio Sacerdoti Coen - Lecturer
Ferruccio Guidi - PhD
Enrico Tassi - PhD Student
Stefano Zacchiroli - PhD Student
Wilmer Ricciotti - PhD Student
Claudio Sacerdoti Coen - Lecturer
Enrico Tassi - PhD

Former members

Stefano Zacchiroli - PhD
Luca Padovani - Lecturer
Irene Schena - PhD
Pietro Di Lena - Master Student