[isabelle] Help us trial web interfaces to Isabelle
We are working web-based interfaces for proof exercises using Isabelle,
and we'd appreciate your help in assessing their usefulness and usability.
Two small prize draws will be made for those taking part and responding
to the questionnaires about the interfaces.
We are trialling two kinds of interface. One uses Isar, and the other
uses MathsTiles (a way of writing proofs that vaguely resembles how a
student might write it on paper). They are hosted as exercises in an
"Intelligent Book" - a kind of web-based textbook.
The Isar interface is available today, at
Under the column "Experiment for Isabelle Experts".
(you'll need to register first so we can get a unique name for you)
The MathsTiles interface will be made available in the next 24 hours or
so, also at
Under the column "Experiment for Everybody"
The exercises use Java applets, so you will need the Java plugin version
1.5 or higher for your browser. This is available from java.sun.com
We have tested on Internet Explorer (Windows) and Mozilla Firefox
(Windows/Linux), but we haven't tested using Safari.
Any questions, problems, or bugs, please email me at whb21 at cam.ac.uk
Thank you very much if you are willing to help by taking part.
Intelligent Book project
This archive was generated by a fusion of
Pipermail (Mailman edition) and