This is a minimalistic homepage for some of my works.
A live CD with a bunch of interactive theorem prover installed
The version of Matita that is on TPTP