Jape: A calculator for animating proof-on-paper
If you suppose that it would be pointless to simulate proof-on-paper; if you imagine that all the problems of interactive theorem-proving are solved; if you are sure that making a user interface is a matter of bolting a bit of Tcl/Tk onto a theorem-proving engine; if you believe the more buttons the better in a graphical user interfaces — read no further, lest your prejudices be disturbed!
Unable to display preview. Download preview PDF.
- 1.Dawson W.M.G. (1990) A Generic Logic Environment, PhD thesis, Imperial College, University of LondonGoogle Scholar
- 2.Dyckhoff, R. (1987) Implementing a simple proof assistant, in Workshop on Programming for Logic Teaching, Leeds, July 1987, Centre for Theoretical Computer Science, University of Leeds (program available FROM Machine Assisted Logic Teaching Project, Computational Science Division, University of St Andrews)Google Scholar
- 3.Jones C.B. et al (1985) mural: A Formal Development Support System. Springer-VerlagGoogle Scholar
- 4.EPC Ltd (1992) The B Tool User Manual, EPC Ltd, 17 Alva St. EDINBURGH EH2 4PHGoogle Scholar