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. ›Agda Language Icon
Solid
Icon color
Agda Language icon – File Icons
512px grid
Tech

Agda Language Icon — File Icons

agda · file-icons

Agda theorem proving and programming language logo.

Loading download options…
Icon collections

Best matches

agdaprogramminglanguagetheorem

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

theorem proverprogramming languagedependently typedformal verificationproof assistantfunctional languagetype checkingmathematical proofprogramming toolformal methodcompilerinteractive environment

Related terms

agda languageagda logoagda iconagda programmingagda proofagda systemtheorem provingproof languagedependent typesfunctional programmingtype theoryformal languageagda toolprogramming language

Broad associations

programmingtheorem provingformal verificationlanguagemathematicslogictype theoryfunctionalformal methodsverificationdevelopmentacademictoolcompilertechnologyresearch
File Icons set

Using the Agda Language Icon

Agda theorem proving and programming language logo. This solid icon belongs to File Icons, a source set with 930 SVG records. Its recorded source grid is 512px. It is indexed under agda, programming, language, theorem, theorem prover, programming language.

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.