Mutsara 1: Jape is a configurable graphical proof assistant, yakatanga kugadzirwa naBernard Sufrin paQueen Mary, University of London naRichard Bornat weUniversity of Oxford. Mutsara 2: Jape is configurable, graphical proof assistant, yakatanga kugadzirwa naBernard Sufrin paQueen Mary, University of London naRichard Bornat paUniversity yeOxford. Mubvunzo: Mutsara wokutanga nomutsara wechipiri unoreva chinhu chimwe chete here? Hungu kana kuti Aiwa?
Hungu