Saz 1: Jape ass e konfiguréierbare grafesche Beweisassistent, ursprénglech vum Richard Bornat op der Queen Mary, Universitéit vu London, an de Bernard Sufrin vun der Universitéit vun Oxford entwéckelt. Saz 2: Jape ass e konfiguréierbare grafesche Beweisassistent, ursprénglech vum Bernard Sufrin op der Queen Mary, Universitéit vu London an dem Richard Bornat vun der Universitéit vun Oxford entwéckelt. Fro: Hunn de Saz 1 an de Saz 2 déiselwecht Bedeitung? Jo oder Nee?
Net