To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Tip: Tools for inductive … - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Tip: Tools for inductive provers

Conference paper
Authors Dan Rosén
Nicholas Smallbone
Published in Lecture Notes in Computer Science. 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015, Suva, Fiji, 24-28 November 2015
Volume 9450
Pages 219-232
ISBN 978-3-662-48898-0
ISSN 0302-9743
Publication year 2015
Published at
Pages 219-232
Language en
Subject categories Software Engineering


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.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?