Tactic duplication - Githubissues

ggrov / tinker

Graph based proof strategy language

http://ggrov.github.io/tinker/

6 stars 0 forks source link

Closed plebras closed 9 years ago

plebras commented 9 years ago

Need to find a way to reuse tactic informations in different nodes. For nested nodes :

plebras commented 9 years ago

Merged with issue #43