Matita

0
Ваша оценка: Нет

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

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


Разместил: vikos 19 Июль 2012 в 14:24