Isabelle (Q460340)
Jump to navigation
Jump to search
higher-order logic (HOL) automated theorem prover
Language | Label | Description | Also known as |
---|---|---|---|
English | Isabelle |
higher-order logic (HOL) automated theorem prover |
Statements
1 reference
19 February 2016
1 reference
19 February 2016
1 reference
1 reference
1 reference
The isabelle Open Source Project on Open Hub: Languages Page (English)
26 September 2018
Identifiers
Sitelinks
Wikipedia(7 entries)
- dewiki Isabelle (Theorembeweiser)
- enwiki Isabelle (proof assistant)
- eswiki Isabelle
- frwiki Isabelle (logiciel)
- ptwiki Isabelle
- ruwiki Isabelle
- zhwiki Isabelle