Isabelle

Isabelle

Изабел е помощник по доказателствата за писане и проверка на математически доказателства от компютър.
Изабел е асистент по проверка на писане и проверка на математически доказателства от компютър.Той позволява математическите формули да се изразяват на официален език и предоставя инструменти за доказване на тези формули в логическото смятане.
isabelle

WebSite:

Категории

Алтернативи на Isabelle за всички платформи с търговски лиценз