Kategorie: Systémové nástroje, Linuxové distribuce
IsaMorph 0.9
IsaMorph je linuxová distribuce Live CD (na základě Morphix) představovat interaktivní teorém prover Isabelle.To znamená, že můžete bootovat z CD a získat plně funkční "dokazování" prostředí bez nutnosti instalace GNU / Linux nebo Isabelle. Stačí vložit...
Nedávno zobrazené Aplikace
jQuery Builder 13 Apr 15
EMS DB Comparer for InterBase/Firebird 22 Jan 15
Rename Multiple Files Using EXIF Metadata Tags Software 28 May 15
Unrar Multiple Rar Files At Once Software 1 Jan 15
TMS Scripter Studio(Delphi 2007 and c++ builder 2007) 6 May 15