Программы jape.sf.net

Jape является настраиваемым графическим формально-доказательство калькулятор. Можно определить логику, решить, как ваши пользователи будут просматривать их доказательства, и многое другое. Он работает с вариантами последовате