a web-browser based lightweight GUI

ggrov / tinker

Graph based proof strategy language

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

6 stars 0 forks source link

a web-browser based lightweight GUI #6

Closed lyhlbyl closed 8 years ago

lyhlbyl commented 10 years ago

A web-browser based lightweight version of Tinker GUI would be convenient for publication and the case when the demo machine has restrictions of installing new softwares.

ggrov commented 10 years ago

It would be nice to have both a pure GUI, but also a proper web service where the user does not need Isabelle/Proofpower on her machine (meaning restricted to existing definitions/lemmas etc). It would be nice for demos/paper writing.