The latest version of tip-lib is 0.2.2-0.
tip-lib
Version 0.2 revision 0 uploaded by DanRosen.
Package meta
- Synopsis
- tons of inductive problems - support library and tools
- Description
This package provides a tool for processing inductive theorem proving problems in TIP format (see the homepage for details).
- Author
- Dan Rosén, Nick Smallbone
- Bug reports
- http://github.com/tip-org/tools/issues
- Category
- Theorem Provers
- Copyright
- n/a
- Homepage
- http://tip-org.github.io
- Maintainer
- danr@chalmers.se
- Package URL
- n/a
- Stability
- n/a