Ethos: A Fast Proof Checker for the Eunoia Logical Framework.

Andrew Reynolds, Hans-Jrg Schurr, Mallku Soldevila, Haniel Barbosa, Clark W. Barrett, Cesare Tinelli

Browse the full IJCAR paper archive.