Science · Mathematics

Isabelle

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Website

Share

About Isabelle

Isabelle- Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich.

Tags

Books and Worksheets

Where it sits

Science Mathematics

More in Mathematics