TIP: Tons of Inductive Problems

The specification:

The current version of the benchmarks:

The repositories:

Contact:

The benchmark's issue tracker
Dan Rosén Nick Smallbone Moa Johansson Koen Claessen