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 .