search

ggrov / tinker

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

Update to latest Quantomatic version #7

Closed ggrov closed 10 years ago

ggrov commented 10 years ago

Done, but should split out relevant parts (quantolib - Aleks seems to have started this)