active
- |
7 years ago
Comentarii |
Website
Desktop :
Bazat pe:
Categorie:
Status: active
Warning: Undefined variable $attr in /home/gnulinux/domains/m.gnulinux.ro/public_html/libraries/Function.php on line 627
IsaMorph is a highly specialized GNU/Linux Live CD. It's based on
Morphix and features the interactive theorem prover
,
for a complete theorem proving environment. IsaMorph joins the list at
version 0.2.1, released July 29, 2004. Version 0.9 was released December
22, 2005.
Noutati
- Comenteaza
- powered by Verysign
