项目描述

logictree solves propositional formulas and tries
to solve predicate formulas, using semantic tableaux.

(This Description is auto-translated) Try to translate to Japanese Show Original Description

Your rating
Review this project