X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopers.html;fp=helm%2Fwww%2Fmatita%2Fdevelopers.html;h=0000000000000000000000000000000000000000;hb=727fa1f56c2e47203da5d232ad48b2fe02e63282;hp=15136150a6426f0e08734cef681dbd78c657b187;hpb=28959d029595595f2d4218fb3202e838f457c3d3;p=helm.git diff --git a/helm/www/matita/developers.html b/helm/www/matita/developers.html deleted file mode 100644 index 15136150a..000000000 --- a/helm/www/matita/developers.html +++ /dev/null @@ -1,56 +0,0 @@ - - - - - - Matita home page - developers - - - -

- 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

Ferruccio Guidi
Luca Padovani
Irene Schena

- -

Students, developers and contributors

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

- - - - - -

- -

- - -

- -