Isabelle
Sign in to savehigher-order logic (HOL) automated theorem prover
Wikidata facts
- Instance of
- free software
- Developer
- University of Cambridge
- Official website
- isabelle.in.tum.de
- Image
- Isabelle jedit.png
- Has use
- mathematics
Show 7 more facts
- copyright license
- BSD licenses
- operating system
- macOS
- inception
- 1986-00-00
- programmed in
- Scala
- IRC channel URL
- irc://irc.libera.chat/#isabelle
- Stack Exchange tag
- stackoverflow.com/tags/isabelle
- maintained by WikiProject
- WikiProject Software
via Wikidata · CC0