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