Fuaiupu 1: O le Jape o se fesoasoani e mafai ona faʻatulagaina, faʻamaonia ata, na muamua atiaʻe e Richard Bornat i le Queen Mary, Iunivesite o Lonetona ma Bernard Sufrin i le Iunivesite o Oxford. Fuaiupu 2: Jape o se configurable graphical proof assistant, na uluai atiina ae e Richard Bornat i le Queen Mary, Iunivesite o Lonetona, ma Bernard Sufrin o le Iunivesite o Oxford. Fesili: Pe tutusa le uiga o le fuaiupu 1 ma le fuaiupu 2? Ioe pe leai?
Ioe