Best Icons
All IconsPricingUnlimited Icon API
All IconsPricingUnlimited Icon API
Best Icons

Search 312,774 thoughtfully tagged SVG icons from commercially licensed sources. Free includes 108,692 SVG variants across 44 curated sets — 35% of the library.

PricingLicensesAccountLegal NoticePrivacy PolicyTerms

Featured Icon Sets

  • Lucide
  • Heroicons
  • Tabler
  • Bootstrap Icons
  • Font Awesome Free
  • Material Symbols
  • Fluent
  • PH
  • Feather
  • Iconoir

Icons by Topic

  • finance
  • strategy
  • process
  • team
  • tech
  • sales
  • marketing
  • legal
  • time
  • communication
  • sustainability
  • risk
  • logistics
  • education
  • health
  • navigation
  • media
  • Miscellaneous
  • Social media

Licenses & Guides

  • All source licenses
  • MIT icons
  • Apache 2.0 icons
  • CC0 icons
  • Icon guides
  • Icons for PowerPoint & Google Slides
  • Commercial use & attribution
  • SVG vs. PNG
© 2026 Best Icons
  1. Home
  2. ›All Icons
  3. ›File Icons
  4. ›Coq Proof Icon
Solid
Icon color
Coq Proof icon – File Icons
0
Tech

Coq Proof Icon — File Icons

coq · file-icons

Coq interactive proof assistant and theorem prover.

Loading download options…
Icon collections

Best matches

coqprooftheoremverification

License Information

You may use, modify, and distribute this icon for private or commercial purposes. Keep the applicable copyright and ISC permission notices in redistributed copies.

View ISC license

Common searches

proof assistanttheorem provingformal verificationinteractive provingmathematical proofformal methodstype theoryfunctional languageresearch toolacademic toolverification toollogic tool

Related terms

coq logocoq iconcoq proof assistantcoq systemtheorem proverproof toolverification toolformal toolcoq languagecoq frameworkcoq platformmathematical toolresearch toolacademic tool

Broad associations

theorem provingformal verificationproofmathematicstype theoryfunctionalresearchacademicformal methodsverificationlogictoolcompileradvancedsciencetechnology
File Icons set

Using the Coq Proof Icon

Coq interactive proof assistant and theorem prover. This solid icon belongs to File Icons, a source set with 930 SVG records. It is indexed under coq, proof, theorem, verification, proof assistant, theorem proving.

Choose SVG for scalable interface artwork or PNG for a raster image in a presentation or document. Export sizes and access depend on your plan. Resizing, recoloring or converting a file does not remove the source license obligations.