Isabelle
Sign in to savehigher-order logic (HOL) automated theorem prover
Wikidata facts
- Official website
- isabelle.in.tum.de
- Image
- Isabelle jedit.png
Show 3 more facts
- inception
- 1986-00-00
- IRC channel URL
- irc://irc.libera.chat/#isabelle
- Stack Exchange tag
- stackoverflow.com/tags/isabelle
via Wikidata · CC0
Connections
BSD licenses
Entity
automated theorem proving
Entity
resolution
Entity
mathematics
Entity
computer science
Entity
Linux
Entity
operating system
Entity
Microsoft Windows
Entity
software
Entity
Q15777
Entity
programming language
Entity
Python
Entity
Q2407
Entity
University of Cambridge
Entity
free software
Entity
Wayback Machine
Entity
macOS
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
programmer
Entity