Isabelle
The isabelle icon represents the Isabelle proof assistant, a popular tool for formal verification and theorem proving.
Add shadcn.io to your AI agent. · Pro It installs Isabelle, or any of 294k icons, from a prompt, with Pro.
Set up MCPExports at 24 × 24 px
930 in File IconsISC license (opens in a new tab)Free to copy and download
Code
Isabelle in your framework
In any framework. Customize it above, and the code follows.
export const IsabelleIcon = (props: React.SVGProps<SVGSVGElement>) => (
<svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 512 512" {...props}>
<path fill="currentColor" d="m205.573 359.48l-22.88 22.158l-78.266-36.835l56.079-50.817l14.267 6.603v41.656zm56.333 15.84v-91.513l-73.425-35.494l.207 85.853zM86.082 285.746l39.55 21.231l32.37-29.337l16.771 7.745v-44.909l-88.691-43.799zm94.665-57.453l23.919-21.342l-44.723-22.61v-49.304l-14.21-6.173l-58.603 52.953zm34.855-31.263l25.918-23.572v-49.032L173.73 89.34v86.524zM338.27 381.96v102.05l60.156-57.739v-92.677zM318.05 71.395l-62.741 52.376v52.462l29.537 13.126l33.205-32.389zm131.446 208.42v93.57L512 321.02v-94.035zm-349.53 78.13v95.924l77.442 41.823v-101.3zM0 310.892v88.993l86.176 46.54v-94.971zm456.96-116.521v21.878l-.436.41l-91.05 84.84l47.052 19.282v39.57l23.181 11.828v-98.763l66.964-56.596zm-82.944-10.576l-35.187 29.55l5.214 2.317v76.917l7.378 3.076l22.595-20.38zM173.73 73.816l74.015 38.309l65.332-54.536l-82.567-41.281l-56.78 53.623zm269.441 136.472v-84.574l-55.368 46.502v90.17zM331.838 136.68l49.75 22.745l61.417-51.58l-83.882-41.938l-27.285 21.83zm-113.72 229.85l-26.924 26.07v96.576l44.583-45.167v-67.551zM90.91 338.442l23.878-21.64l-42.495-22.816v-44.553l-12.79-6.975l-57.587 54.097zm239.343-16.718v-86.467l-54.56 47.37v89.483zm-5.445-114.609l45.092-37.872l-38.063-17.4v10.94l-33.426 32.607zm-78.189-19.653l-52.872 48.08l73.964 35.748l56.73-49.247zm77.86 195.582l-26.773-12.48l-27.399 25.299l-20.742-11.656v60.437l74.914 39.932zm19.563-75.528v20.24L308.65 360.45l21.76 10.142l56.51-45.21z"/>
</svg>
);File Icons
More like it
Icons that share its tags, in the same style.
Search File Icons
Skip the copy and paste. With Pro, your AI agent finds and installs any File Icons icon from a prompt.
Get ProTags
Browse by tag
Isabelle is tagged computer, verification, mathematics and 1 more. Related tags follow; each opens its icons from every library.
Pricing
File Icons MCP, with Pro
Ask for Isabelle or any of 930 File Icons icons and your agent installs it. The MCP comes with every Pro plan, with 6,000+ blocks and 14 premium templates. The icons stay free.
4.9/5 out of 5 · 150+ reviewsfrom 150+ founders and developers.
Billing
Billed once a year in USD. Cancel anytime.
- How many people can use the license.
- Client work, SaaS products and anything you charge for.
- Production-ready React sections: hero, pricing, features, dashboards and more.
- Complete multi-page sites you can ship as they are.
- React icons from every major library, installable with one command.
- Presets that restyle every block, in light and dark.
- Lets your AI editor search, preview and install blocks for you.
- Priority requests are answered first.
Individual
For personal projects & open source
$32instead of $49/mo
$389 billed yearly
- Seats: 1 seat
- Commercial use: Personal & open source only
- Pro blocks: 6,000+ blocks
- Templates: All 14 templates
- React icons: 294k+ icons
- Themes: All 59 themes
- MCP server: Basic usage
- Support: Standard
Team
Most popularFor freelancers, agencies & startups
$66instead of $99/mo
$789 billed yearly · ≈ $13/dev/mo
- Seats: Up to 5 seats
- Commercial use: Included
- Pro blocks: 6,000+ blocks
- Templates: All 14 templates
- React icons: 294k+ icons
- Themes: All 59 themes
- MCP server: High usage
- Support: Priority
Organization
For companies with larger teams
$132instead of $199/mo
$1,589 billed yearly
- Seats: Unlimited seats
- Commercial use: Included
- Pro blocks: 6,000+ blocks
- Templates: All 14 templates
- React icons: 294k+ icons
- Themes: All 59 themes
- MCP server: Unlimited usage
- Support: Priority
Billed once a year in USD. Cancel anytime.
Individual
For personal projects & open source
$32instead of $49/mo
$389 billed yearly
- How many people can use the license.Seats: 1 seat
- Client work, SaaS products and anything you charge for.Commercial use: Personal & open source only
- Production-ready React sections: hero, pricing, features, dashboards and more.Pro blocks: 6,000+ blocks
- Complete multi-page sites you can ship as they are.Templates: All 14 templates
- React icons from every major library, installable with one command.React icons: 294k+ icons
- Presets that restyle every block, in light and dark.Themes: All 59 themes
- Lets your AI editor search, preview and install blocks for you.MCP server: Basic usage
- Priority requests are answered first.Support: Standard
Team
Most popularFor freelancers, agencies & startups
$66instead of $99/mo
$789 billed yearly · ≈ $13/dev/mo
Everything in Individual, plus
- How many people can use the license.Seats: Up to 5 seats
- Client work, SaaS products and anything you charge for.Commercial use: Included
- Lets your AI editor search, preview and install blocks for you.MCP server: High usage
- Priority requests are answered first.Support: Priority
Organization
For companies with larger teams
$132instead of $199/mo
$1,589 billed yearly
Everything in Team, plus
- How many people can use the license.Seats: Unlimited seats
- Lets your AI editor search, preview and install blocks for you.MCP server: Unlimited usage
- Secure checkout via Stripe
- Code lives in your repo
- Keep what you've shipped if you cancel
- License terms
FAQ
Frequently asked questions
What the Isabelle icon means and where it's used, then how to install, style and license it.
Install Isabelle from a prompt
MCP, 6,000+ blocks and 14 premium templates in every Pro plan. The icons stay free.