1. Home
  2. Science
  3. Mathematics
  4. Isabelle

Science · Mathematics

Isabelle

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About Isabelle

Isabelle- A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow). Includes logic, documentation and free download.

Tags

Meetings

Where it sits

Science Mathematics

More in Mathematics

See all →