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
Buffalo TS5800D NAS Firmware 10 Feb 16
-
Acer Aspire 7315 ALPS Touchpad Driver for Windows 7 29 May 15
-
BCL Jade 25 Oct 15
-
Alertsec Xpress 27 May 15
-
Lead MJPEG/MCMP Video Codec 27 Oct 15
-
BazisLib 16 Apr 15
Check Host 21 Jan 15
-
Windows Genuine Advantage Notifications 21 Sep 15
Absolute Delete 27 Oct 15
-
HP ENVY 20-d010 TouchSmart JMicron Storage Controller Driver 1.0.72.4 Rev for Windows 8 8 May 15