Есть ли любое программное обеспечение вокруг того использования формата Fitch (используется на Языке, Доказательстве и Логике), позволяет помещать определенный набор помещения, и цели и иметь его показывают нам полный список необходимых шагов...

Я в настоящее время изучаю доказательства логики первого порядка Формата Fitch. Мой лектор следует тесно за Языком, Доказательством и Логикой Jon Barwise. Я пытаюсь сделать некоторые доказательства, но я испытываю некоторые затруднения...