Система автоматизации доказательств для логики высших порядков.
Сайт разработчика: http://hol.sourceforge.net/
Разместил: vikos 24 Июль 2012 в 18:53