Математика - Matita

Matita (по итальянски это значит карандаш) - это экспериментальная интерактивная система проверки теорем, разрабатываемая департаментом компьютерных наук (Computer Science Department) университета Болоньи (University of Bologna).

Сайт разработчика: http://matita.cs.unibo.it/