Catégories: Utilitaires système, Distributions Linux
IsaMorph 0.9
IsaMorph est un Live CD de distribution Linux (basé sur Morphix) mettant en vedette le démonstrateur interactif Isabelle.Cela signifie, vous pouvez démarrer à partir du CD et obtenir un "démonstration de théorèmes" environnement pleinement opérationnel...
Logiciels consultés récemment
Microsoft SQL Server 2005 Service Pack 1 (32-bit) 24 Sep 15
Redis-Dump 13 May 15
BitNami Magento Stack 16 Apr 15
MONyog MySQL Monitor 22 Jan 15
Copy Files To Multiple USB Drives Software 16 Apr 15
Print Multiple HTML Files Software 16 Apr 15
-
MarrowSoft Xselerator 29 Oct 15
TMS Project Manager (Delphi 2010) 26 Jan 15
wordnik-ruby 13 May 15
iStonsoft Android File Manager 31 Dec 14