Toggle navigation
WIKIDATA
FOR DIGITAL PRESERVATION
about
reports
news
support
Clear
Search
explore
preview
contribute
selected item
Loading
selected schema
Operating System
Software Extended References
File Format Id Pattern
File Format References
File Format Family
File Format Minimal
Emulator
property checklist
Isabelle
(Q460340)
higher-order logic (HOL) automated theorem prover
Language:
English
français (French)
español (Spanish)
Deutsch (German)
dansk (Danish)
Nederlands (Dutch)
汉语 (Chinese)
العربية (Arabic)
italiano (Italian)
latviešu valoda (Latvian)
eesti keel (Estonian)
suomi (Finnish)
português (Portuguese)
svenska (Swedish)
Norsk (Norwegian)
日本語 (Japanese)
हिन्दी (Hindi)
Lëtzebuergesch (Luxembourgish)
Current Data About
Isabelle
(P18)
(P143)
(P31)
(Q11387554)
(Q56273712)
(P178)
(Q157808)
(P854)
https://isabelle.in.tum.de/
(P813)
Friday, February 19, 2016
(Q35794)
(P854)
https://isabelle.in.tum.de/
(P813)
Friday, February 19, 2016
(P275)
(Q191307)
(P854)
https://isabelle.in.tum.de/
(P813)
Friday, February 19, 2016
(P277)
(Q597330)
(P248)
(P854)
https://www.openhub.net/p/isabelle/analyses/latest/languages_summary
(P1476)
"The isabelle Open Source Project on Open Hub: Languages Page" (language: en)
(P813)
Wednesday, September 26, 2018
(Q460584)
(P306)
(Q3251801)
(P854)
https://isabelle.in.tum.de/
(P813)
Friday, February 19, 2016
(Q1406)
(P854)
https://isabelle.in.tum.de/
(P813)
Friday, February 19, 2016
(Q14116)
(P854)
https://isabelle.in.tum.de/
(P813)
Friday, February 19, 2016
(P366)
(Q395)
(P143)
(P4656)
https://en.wikipedia.org/w/index.php?title=Isabelle_(proof_assistant)&oldid=924222287
(P571)
+1986-00-00T00:00:00Z
(P143)
(P856)
http://isabelle.in.tum.de/
(P407)
(P1072)
(Q129832569)
(P854)
https://isabelle.in.tum.de/dist/Isabelle2024/doc/prog-prove.pdf
(P813)
Monday, August 26, 2024
(P1073)
(Q129832569)
(P854)
https://isabelle.in.tum.de/dist/Isabelle2024/doc/prog-prove.pdf
(P813)
Monday, August 26, 2024
(P1482)
https://proofassistants.stackexchange.com/tags/isabelle
(P1613)
irc://irc.libera.chat/#isabelle
(P6104)
(Q15659621)
(P6216)
(Q50423863)
other details
description
higher-order logic (HOL) automated theorem prover
External Links
(P646)
/m/015gp5
(P1972)
isabelle
(P4215)
Isabelle
(P6830)
454