Skip to main content

BibTeX

@inProceedings{rosen-smallbone-2015-tools-230830,
	title        = {Tip: Tools for inductive provers},
	abstract     = {TIP is a toolbox for users and developers of inductive provers. It consists of a large number of tools which can, for example, simplify an inductive problem, monomorphise it or find counterexamples to it. We are using TIP to help maintain a set of benchmarks for inductive theorem provers, where its main job is to encode aspects of the problem that are not natively supported by the respective provers. TIP makes it easier to write inductive provers, by supplying necessary tools such as lemma discovery which prover authors can simply import into their own prover.},
	booktitle    = {Lecture Notes in Computer Science. 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015, Suva, Fiji, 24-28 November 2015},
	author       = {Rosén, Dan and Smallbone, Nicholas},
	year         = {2015},
	volume       = {9450},
	ISBN         = {978-3-662-48898-0},
	pages        = {219--232},
}