Jape: A calculator for animating proof-on-paper
From MaRDI portal
Publication:5234722
DOI10.1007/3-540-63104-6_41zbMath1430.68395OpenAlexW1602382192MaRDI QIDQ5234722
Bernard Sufrin, Richard Bornat
Publication date: 1 October 2019
Published in: Automated Deduction—CADE-14 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-63104-6_41
Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items
Jape ⋮ Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
Uses Software
Cites Work