What AI says about Isabelle
Part of Technical University of Munich
Data as of Oct 20, 2026Based on 11,464 AI responses
Reviewed by Dimitry Apollonsky
Isabelle is a generic, open-source proof assistant that allows expressing mathematical formulas in a formal language and provides tools to prove them within a logical calculus. It offers multiple interfaces—PIDE, Isabelle/jEdit, and Isabelle/VSCode—and distributes free binaries and source for Linux, Windows, and macOS, with the current release Isabelle2025-2 (Jan 2026). It ships with extensive libraries and examples (Archive of Formal Proofs) and is supported by documentation, mailing lists, Zulip, and other community channels.
Products
- IsabelleThis page<1%
<1%
across Isabelle’s markets · since Jul 5
The market map
Blockchain Platform Token SelectionMentioned in
- 1SolanaMentioned in 43%Avg. position 5.4
- =2Ether (ETH)Mentioned in 28%Avg. position 4.1
- =4ArbitrumMentioned in 20%Avg. position 54.3
- =4SuiMentioned in 20%Avg. position 5.8
- =4AvalancheMentioned in 18%Avg. position 63.5
- =4HederaMentioned in 18%Avg. position 3.0
- =4HardhatMentioned in 17%Avg. position 5.9
- =9TezosMentioned in 14%Avg. position 5.7
- =9CardanoMentioned in 12%Avg. position 5.6
- =9GET ProtocolMentioned in 11%Avg. position 3.5
- =9OpenZeppelinMentioned in 11%Avg. position 7.5
- =9TenderlyMentioned in 10%Avg. position 3.0
- =14APTMentioned in 8%Avg. position 3.5
- =14IOTA FoundationMentioned in 8%Avg. position 5.2
Where Isabelle ranks in AI
Where AI mentions Isabelle
Each engine’s share of its own answers across Isabelle’s markets · since Jul 5
- ChatGPT Search<1%
- Google AI Mode<1%
