IsaMorph - Gratis download software Til Linux

For nylig viste Apps

Wyd 3 Jun 15
Archi 11 Nov 16
IVIVO 22 Sep 15
Moock 18 Apr 16
zxsp 25 May 15
TDA 3 Jun 15
Gatsb 15 Dec 14
Union 22 Nov 14
imEye 25 Oct 15
PAQ 2 Jun 15

IsaMorph 0.9

IsaMorph er en Linux-distribution live cd (baseret på Morphix) byder den interaktive teorem prover Isabelle.Det betyder, du kan starte fra cd'en og få et fuldt operationelt "bevisførelse" miljø uden at installere GNU / Linux eller Isabelle. Bare...

Kategorier: Systemværktøjer, Linux-distributioner