ms: Jape adalah pembantu bukti grafik yang boleh dikonfigurasi, yang pada asalnya dibangunkan oleh Richard Bornat di Queen Mary, University of London dan Bernard Sufrin dari University of Oxford. Jape adalah pembantu bukti grafik yang boleh dikonfigurasi, yang pada asalnya dibangunkan oleh Richard Bornat di Queen Mary, University of London, dan Bernard Sufrin dari University of Oxford.
en: Jape is a configurable , graphical proof assistant , originally developed by Richard Bornat at Queen Mary , University of London and Bernard Sufrin the University of Oxford . Jape is a configurable graphical proof assistant , originally developed by Richard Bornat at Queen Mary , University of London , and Bernard Sufrin of the University of Oxford .