IsaMorph 0.9
IsaMorph interaktif teoremi prover Isabelle sahip (Morphix göre) bir linux dağıtımı Canlı CD.Bu CD'den önyükleme ve GNU / Linux veya Isabelle kurmadan tam operasyonel "teorem kanıtlama" çevre alabilirsiniz demektir. Sadece PC'nizdeki CD'sini...