search

ggrov / tinker

Graph based proof strategy language
http://ggrov.github.io/tinker/
6 stars 0 forks source link

Use of keywords as argument #77

Closed ggrov closed 8 years ago

ggrov commented 9 years ago

Need to handle (loop up values of) the concl and hyps keywords as part of the parsing