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 .