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