Ukara 1: Jape minangka asisten bukti grafis sing bisa dikonfigurasi, sing asale dikembangake dening Richard Bornat ing Queen Mary, Universitas London, lan Bernard Sufrin saka Universitas Oxford. Ukara 2: Jape minangka asisten bukti grafis sing bisa dikonfigurasi, wiwitane dikembangake dening Bernard Sufrin ing Queen Mary, Universitas London lan Richard Bornat saka Universitas Oxford. Pitakonan: Apa ukara 1 lan ukara 2 padha tegesé? Ya utawa Ora?
Ora