search

ggrov / tinker

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

Evaluator of new goal type #12

Closed ggrov closed 10 years ago

ggrov commented 10 years ago

Should be based on unification, and should update a given environment.