@hackage / tip-lib

tons of inductive problems - support library and tools

Latest0.2.2

About

Metadata

  • Last updated , by DanRosen
  • License BSD-3-Clause

  • Maintained by: danr@chalmers.se

  • Lottery factor: 0

Links

Installation

Readme

This package provides a tool for processing inductive theorem proving problems in TIP format (see the homepage for details).