**fi lean TAP : A Declarative Theorem Prover for First-Order ...**

Saturday, August 08 15 / pdf

fi lean TAP : A Declarative Theorem Prover for First-Order Classical Logic JosephP. Near?? , William E. Byrd, and Daniel P. Friedman Indiana University, Bloomington ...