Categories
Mac

Isabelle screenshots

It allows mathematical formulas to be expressed in a formal language
Screenshots Review Comments Questions & Answers
Isabelle 1.0 : Main window
Isabelle 1.0 : Main window
Main windowMain window

Isabelle 1.0

Main windowMain window
Main windowMain window

Alternative downloads

ACSLogo
Free
rating

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

ProScope HR
rating

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

Cavendish Education
Free
rating

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

Popular stories

See all
Apple allows game emulators with outside sources of ROMs

Apple allows game emulators with outside sources of ROMs

Apple puts a spotlight on work-related Vision Pro use cases

Apple puts a spotlight on work-related Vision Pro use cases

Life-saving: Apple seeks to patent an anti-drowning feature

Life-saving: Apple seeks to patent an anti-drowning feature

Apple’s got a patent for ultra-accurate tracking system

Apple’s got a patent for ultra-accurate tracking system