Isabelle (Q460340): Preview

Isabelle (Q460340)
higher-order logic (HOL) automated theorem prover

Language:

Current Data About Isabelle

(P18)

Image Provided By https://upload.wikimedia.org/wikipedia/commons/1/14/Isabelle_jedit.png

(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