Coq
The coq icon represents the Coq proof assistant, a tool for formal verification and proof development.
Add shadcn.io to your AI agent. · Pro It installs Coq, or any of 294k icons, from a prompt, with Pro.
Set up MCPExports at 16 × 24 px
930 in File IconsISC license (opens in a new tab)Free to copy and download
Code
Coq in your framework
In any framework. Customize it above, and the code follows.
export const CoqIcon = (props: React.SVGProps<SVGSVGElement>) => (
<svg xmlns="http://www.w3.org/2000/svg" width="16" height="24" viewBox="0 0 342 512" {...props}>
<path fill="currentColor" d="M179.3 209.818c14.263-20.342 31.098-41.853 45.127-42.32c34.605-2.34 70.847-.235 89.319 17.068c6.538 6.124 23.615 18.004 26.187 33.202c6.43 37.991-2.425 99.144-25.252 139.356c-22.116 38.959-96.046 54.712-96.046 54.712c-15.263 2.887-32.906 4.905-43.106 14.643c-12.002 11.459-13.2 29.082-13.2 40.838c0 7.024 3.421 28.784 17.737 33.206c9.312 2.876 7.425 11.477 7.425 11.477H59.19c.093-5.227 8.532-10.912 15.99-20.135c8.313-10.282 15.91-24.214 19.74-31.387c4.388-8.219 3.714-17.076 3.714-17.076c-3.326-22.592-39.749-45.594-63.365-58.454C13.864 373.292-.694 361.09.026 353.683c1.562-16.09 45.726-30.87 67.042-57.586c17.536-21.979 18.213-49.921 18.213-49.921c-.48-18.93.258-25.31-6.055-35.306s-12.801-11.223-14.906-25.252c-2.104-14.03-17.36-11.223-17.36-11.223l-30.163 8.768l-1.403-1.578s13.598-17.125 20.668-26.551c2.359-3.145 1.954-11.503 1.954-11.503c-2.313-5.336-48.422-36.067-31.04-83.824C22.712 16.476 62.391 3.824 101.44.317c68.302-6.135 103.348 77.978 63.516 143.993c0 0-22.247 30.435-23.124 1.676c-.8-26.236-13.854-36.651-13.854-36.651s-3.858-2.864-3.39 9.996s3.741 133.276 10.054 155.956c2.093 7.52 6.229 14.042 13.795 3.04c15.257-22.183 13.627-43.924 30.864-68.509M228.49 373.45c4.337-17.151-.626-38.6-8.626-39.992c-6.012-1.045-10.978 5.74-10.978 19.343c0 16.022 1.61 33.089-6.012 38.424c-7.842 5.489-7.424 11.785-6.273 12.808c2.352 2.09 26.138-7.842 31.889-30.583"/>
</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
Coq is tagged development, programming, math and 1 more. Related tags follow; each opens its icons from every library.
Pricing
File Icons MCP, with Pro
Ask for Coq 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 Coq icon means and where it's used, then how to install, style and license it.
Install Coq from a prompt
MCP, 6,000+ blocks and 14 premium templates in every Pro plan. The icons stay free.