, IRIT, University of Toulouse, France

• Journal of Formalized Reasoning Vol. 7 No. 2 (2014): Special Issue: User Tutorials 2 - Articles
  Matita Tutorial
  Abstract  PDF