program tactics with ML in GUI

ggrov / tinker

Graph based proof strategy language

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

6 stars 0 forks source link

program tactics with ML in GUI #14

Closed lyhlbyl closed 9 years ago

lyhlbyl commented 10 years ago

allow users to program tactics with ML in GUI, then the tactics are recognised by tinker. Note the quanto drive is able to provide useful interfaces / demos.

see examples in quanto drives