Isabelle

Summary

Isabelle is a proof assistant^[1]. Isabelle draws 185 Wikipedia views per month (proof_assistant category, ranking #2 of 6).^[2]

Key Facts

• Isabelle's image is recorded as Isabelle jedit.png^[3].
• Isabelle's instance of is recorded as proof assistant^[4].
• Isabelle's instance of is recorded as free software^[5].
• Isabelle's developer is recorded as Technical University of Munich^[6].
• Isabelle's developer is recorded as University of Cambridge^[7].
• Isabelle's copyright license is recorded as BSD licenses^[8].
• Isabelle's programmed in is recorded as Standard ML^[9].
• Isabelle's programmed in is recorded as Scala^[10].
• Isabelle's operating system is recorded as Q3251801^[11].
• Isabelle's operating system is recorded as Microsoft Windows^[12].
• Isabelle's operating system is recorded as macOS^[13].
• Isabelle's has use is recorded as mathematics^[14].
• +1986-00-00T00:00:00Z marks the founding of Isabelle^[15].
• Isabelle's Freebase ID is recorded as /m/015gp5^[16].
• Isabelle's official website is recorded as http://isabelle.in.tum.de/^[17].
• Isabelle's readable file format is recorded as Isabelle file format^[18].
• Isabelle's writable file format is recorded as Isabelle file format^[19].
• Isabelle's Stack Exchange tag is recorded as https://proofassistants.stackexchange.com/tags/isabelle^[20].
• Isabelle's Stack Exchange tag is recorded as https://stackoverflow.com/tags/isabelle^[21].
• Isabelle's IRC channel URL is recorded as irc://irc.libera.chat/#isabelle^[22].
• Isabelle's Open Hub ID is recorded as isabelle^[23].
• Isabelle's nLab ID is recorded as Isabelle^[24].
• Isabelle's maintained by WikiProject is recorded as WikiProject Software^[25].
• Isabelle's copyright status is recorded as copyrighted^[26].
• Isabelle's swMATH work ID is recorded as 454^[27].

Why It Matters

Isabelle draws 185 Wikipedia views per month (proof_assistant category, ranking #2 of 6).^[2] Isabelle has Wikipedia articles in 7 language editions, a strong signal of global cultural recognition.^[28]

Isabelle has been cited as an influence by Lean^[29], an open-source software^[30], founded in 2013^[31].

FAQs

Who did Isabelle influence?

Isabelle has been cited as an influence by Lean^[29].