package tip-parser
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Parser for TIP (Tons of Inductive Problems)
Install
Authors
Maintainers
Sources
0.4.tar.gz
md5=8c95a6a99ec2ad2caf9b6383c91e1e0c
Description
A simple AST and parser/printer for TIP (https://tip-org.github.io/), a simple format for writing problems in a typed logic with computable functions, datatypes, and axioms.
On This Page