Isabelle versions

It allows mathematical formulas to be expressed in a formal language
1.0
Mar 18, 2011
Review

Alternative downloads

ACSLogo
ACSLogo
Free
rating

A Logo interpreter; Logo is a programming language used in creating graphics.

ProScope HR
ProScope HR
rating

Since 2001 the ProScope HR has been a mainstay in science education.

Cavendish Education
Cavendish Education
Free
rating

Easy-to-use program that solves the n-body problem.

Drgeo
Drgeo
Free
rating

Interactive geometry software for GNU/Linux, XO laptop, Windows and Mac OS X.

Algodoo for Education
Algodoo for Education
rating

It is designed for science classes or exploring physics at home.