The program checks the validity of the expression in IPC and builds a rebuttal in the Kripke models
Primary LanguageJava