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