TIP: Tons of Inductive Problems

The specification:

The current version of the benchmarks:

The repositories:

Contact:

The benchmarks' issue tracker
Nick Smallbone Moa Johansson Koen Claessen