A logical proof program
[ О приложении ]

Aris supports propositional and predicate logic, Boolean algebra,

and arithmetical logic in the form of abstract sequences (seqlog).

Репозиторий: Snap