Jape: A calculator for animating proof-on-paper

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1249, Issue , 1997, Pages 412-415

  Bornat, Richard ^a   Sufrin, Bernard ^b  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 38449103864     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63104-6_41     Document Type: Conference Paper

References (4)

1. Dawson W.M.G. (1990) A Generic Logic Environment, PhD thesis, Imperial College, University of London
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)
3. Jones C.B. et al (1985) mural: A Formal Development Support System. Springer-Verlag
4. EPC Ltd (1992) The B Tool User Manual, EPC Ltd, 17 Alva St. EDINBURGH EH2 4PH