Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder

By Jasmin Christian Blanchette, Tobias Nipkow. International Conference on Interactive Theorem Proving, 2010

304 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/fc794559185428b19a73aded345043521c0e4aea