Dimostrazione Assistita per la Matematica e l'Apprendimento (DAMA)

DAMA (Dimostrazione Assistita per la Matematica e l'Apprendimento) is a Strategic Project for Young Researchers of the University of Bologna to investigate and promote interactive theorem proving (Dimostrazione Assistita) both in mainstream mathematics (Matematica) and learning (Apprendimento).

The project has three major goals:

• Improvement and specialization of the interactive theorem prover Matita, developed by the University of Bologna.
• Development on top of Matita of a learning environment for students to verify the proficience in doing mathematical proofs.
• Formalization of abstract measure theory in Matita up to the Lebesgue's Dominated Convergence Theorem.