package tip-parser
Parser for TIP (Tons of Inductive Problems)
Install
Dune Dependency
Authors
Maintainers
Sources
0.4.tar.gz
sha256=2e6d6b759c492daa5c1a3d5195dd24ad2fd44b57b77d1f2a67f62742ce8a1c27
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