search

ggrov / tinker

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

move the tinker_library library file in the resources folder ? #54

Closed plebras closed 9 years ago