InutitionTC  0.30
IntutionTC
Author
Marcin Benke, Jacek ChrzÄ…szcz, Henryk Michalewski, Aleksy Schubert (team leader), Konrad Zdanowski, Maciej Zielenkiewicz

IntutionTC is a typechecker for an extended first-order logic. One can write first-order formulas together with proofs and check if the proof proves the formula.

Copyright (C) 2016 by University of Warsaw