Dafny icon
file-icons:dafny
The Dafny icon (file-icons:dafny) is a free SVG icon from the File Icons set by John Gardner. It is drawn on a 512 × 512 grid. File Icons are released under the ISC license, which allows use in personal and commercial projects. Copy it as SVG, JSX, Vue or Svelte code, or download the SVG file.
- Icon set
- File Icons
- Author
- John Gardner
- License
- ISC
- Size
- 512 × 512
SVG code
<svg xmlns="http://www.w3.org/2000/svg" width="512" height="512" viewBox="0 0 512 512"><path fill="currentColor" d="M394.966 338.596c11.088-9.828 3.459-29.175 4.68-31.986c-2.749-2.418.342-7.577-2.655-8.457c-1.662.989-1.773-.208-1.28-1.538c3.952-4.585 2.73-11.049 4.92-15.02c2.719-6.876-10.33 8.305.21-7.7c2.28-6.597 6.713-30.33-.592-20.75c11.58-13.543-2.706-13.556 11.393-28.633c-.838-24.922 5.429-33.114-3.435-36.082c20.904-22.011 21.685-53.968 47.454-71.129c1.386-8.541 12.804-17.1 20.675-20.261c2.732 2.062 3.743 4.605 7.132 2.172c8.377-1.142 2.751-7.075-.862-9.867c-.446-4.923-4.327-.077-6.516 1.79c.674-20.296-7.569 1.215-15.53-11.1c-3.855.481-10.163 4.593-8.198-2.954c-3.166 7.13-4.61-.887-7.724 5.13c-8.86 3.334-3.012 13.032-4.885 15.164c-1.624-4.064-4.372-.906-5.263 1.826c-6.062-.161-.75 6.04-7.801-2.163c-3.36 1.946-2.05-.238-1.718-1.685c-2.204-.331-2.26 3.215-3.537 4.525c-2.901-8.079-12.042 12.871-10.773 18.651c-.621 2.476-4.304.44-3.274 4.192c.794 3.756-1.35 2.768-3.592 3.798c-2.302 5.622-6.805 7.305-4.927 14.671c-3.406-7.264-3.735-.288-4.186 4.31c-2.04-9.692-4.854 3.667-5.182 7.649c.419 8.028-6.58 3.533-5.764 18.042c4.195-.133-5.807 7.139.414 5.483c1.052 1.728-1.463 2.33 1.038 3.102c5.302.207 1.043 3.144 4.245 5.15c3.316-.249-.085 3.57 1.157 4.821c6.703-.207-6.797 7.553 4.877 6.142c-4.218 3.611-2.455 4.71-2.266 8.626c-3.219 1.131-1.548 4.742-2.038 7.825c.714 1.778 1.1 2.762-.969 3.864c-1.477 4.16.799 4.909-4.457 6.912c-2.503 4.677.389 10.07-2.757 13.854c-.208.074-.01 2.873.75 3.51c3.109 3.034-4.218 1.181 2.395 5.232c-3.037 2.812.006 2.612.83 5.1c-.525 1.48-3.142 3.517 1.07 3.562c-5.446 8.962-5.957 20.246-12.212 29.049c8.941-1.349-1.715 3.483 2.64 6.578c-3.184 5.498-8.17 11.906-5.553 18.231c1.91 4.208-5.94 1.49-3.526 6.334c2.012 3.877-6.9 3.618-1.539 8.105c.186 2.522-2.783 3.02-.781 5.9c2.74 4.152-2.252 2.542-3.615 6.084c.956 4.313-7.015 3.703-2.437 7.938c-.869 3.125-5.119 10.293.623 8.174c6.104 5.875 20.67-6.113 25.863 4.34c6.363 3.423 6.571-11.253 7.478-16.51m-46.22-48.695c.313 7.686-6.296 12-6.509 18.763c-3.49 6.895 2.062 4.774 1.743 7.29c-2.416 4.542 5.952-1.419 1.762 4.178c-3.514 2.599 3.357 2.815 3.063 7.086c.11 1.497-3.425 3.145-1.137 5.007c2.213.598.521 3.777 2.88 1.143c8.946-17.184-8.076-5.944 1.495-19.666c13.546-21.943 1.297-22.598 13.964-40.885c3.564-4.634-.32-5.822 2.167-10.046c.356-3.015-1.557-4.993-1.892-7.525c1.032-3.05.99-3.147-2.156-2.645c-8.573 4.76 14.098-35.769 11.333-43.537c-1.456-3.193.087-9.133-3.859-3.526c-1.56-4.953 2.89-14.787-4.32-10.948c1.253-2.624 3.797-5.065.098-7.492c-4.88 5.648 1.75-3.746-6.038 2.313c10.666-10.352-.435-18.727 8.182-29.372c6.476-15.419 22.784-41.781 24.704-51.67c6.084-14.64 14.846-24.929 27.042-35.357c-5.77 15.706 34.615-24.853 15.708-11.71c-6.243-12.511-7.658 4.785-10.532 9.933c-4.651-10.733-6.469.937-7.738-6.906c-6.168 6.645-7.145-5.548-10.16 7.397c-6.873-11.839-2.82 17.248-7.268 3.282c-1.81 1.324.848 4.691-2.55 3.735c-2.68 11.14-.088 5.532-6.214 6.619c-11.528-.065-5.402 21.906-12.103 10.794c-4.97-.82-.623 7.478-6.084 5.48c-3.235 1.412-1.508 2.435-1.409 4.835c-5.252 2.44-2.801 13.993-7.096 11.46c.103 8.936-5.029.054-3.262 7.16c-4.552 6.125-3.79.954-4.456 11.606c4.354 3.553 5.809 7.36 6.116 13.568c-3.111 6.37-6.598 15.602-9.125 23.134c-1.628 8.006-2.275 23.564-2.275 23.564c3.664 1.96-6.514 4.471-2.452 9.675c.563 1.093.05 3.169-.66 4.39c-1.782 2.833 1.938 4.55-1.9 7.638c-5.014 6.404 3.271 10.153-1.519 15.272c4.426 5.77-5.923 4.607-1.388 13.45c-.566 2.122-2.591 4.112 1.132 4.89c2.345 6.973-12.883 17.655-4.144 24.137c.284 8.384 4.167 1.726 6.557 6.636zm-31.056 80.893c-26.331 2.296-38 .147-48.065 2.39c-15.619 3.482-22.77 16.183-28.706 33.121c-7.258 22.55-14.8 39.449-17.889 60.46c-2.576 13.183-16.675 10.587-14.95-1.908c5.307-21.148 11.053-39.983 17.467-55.287c-26.487-.398-27.899-11.265-41.235-20.865c-2.023-1.761-3.786-1.541-5.433.444c-15.384 21.294-29.497 32.725-57.736 14.283L99.07 388.106c-3.376-2.305-3.644-2.087-5.985 1.124c-20.931 34.709-42.05 30.33-50.363 21.61c-9.851-8.876-18.006-17.857-24.115-26.963c-5.818-6.426 10.312-11.735 14.375-5.31c14.061 16.269 29.385 37.516 35.667 24.797c0 0 13.42-20.247 17.799-23.466c12.35-9.08 20.075-3.301 20.075-3.301c16.625 11.671 41.994 31.374 47.294 24.842c12.986-9.436 12.728-23.859 33.589-24.463c8.936.136 14.87 8.181 21.675 14.273c8.459 7.57 17.83 11.967 19.114 7.336c9.645-21.492 15.463-34.574 41.713-39.937c10.566-2.159 43.658-1.984 43.658-1.984c13.53.604 7.483-12.87 9.644-23.921c3.25-20.403-3.01-20.281 4.922-32.312c-.943-2.236-4.337-9.338-7.107-12.325c-10.51-8.206 3.566-17.742 7.542-30.779c-7.647 8.955-.547-6.272.8-11.39c-6.157 1.466-2.094.85-1.543-4.164c-5.539-2.165 12.253-24.633-.34-18.643c.082-3.407 10.22-5.352 6.124-10.333c2.668-9.996-4.018-19.724-1.89-30.198c-4.676-6.782 11.345-14.135 11.984-22.741c-1.782-8.714-7.211 5.419-3.291-6.96c.139-15.855-9.157 9.192-1.188-11.802c3-7.31 6.329-16.748-3.208-9.887c.052-10.327 11.931-13.829 17.254-25.965c14.426-22.607 34.26-51.174 57.74-61.214c-.695 6.13 15.48-9.201 12.507 1.444c9.448-10.082 17.987-9.288 30.758-8.656c-3.892 6.021 5.55 2.74 7.129 5.808c3.373 8.016 9.406 1.372 11.672-3.472c5.987-6.302 18.449 6.893 28.807 2.76c-4.753 9.289 8.974 6.205 5.959 14.22c6.997-3.022 1.262 1.042 2.907 4.153c.514 3.214-6.348 6.533-5.23 14.039c-1.627 5.073 4.716 4.644-.891 7.763c7.307-1.647 7.475 1.245 6.494 5.81c3.872 6.547-6.482 10.398-3.248 18.25c-3.497 4.986-4.328-3.482-6.457 8.947c2.524-.57 8.474-4.449 6.328.168c3.736-.892.52 1.625 1.097 2.404c-.088 1.903 2.867 4.813 1.203 6.906c-4.652 3.259-.826 7.58-2.382 11.743c-2.601 7.9-12.812 4.005-15.426.622c-2.522-2-1.308-6.423-4.517-9.11c-6.33-3.035-17.254-5.636-18.985.315c-1.673 5.755-3.819 15.379-6.938 14.015c-4.25-1.324-10.754-2.625-11.774-.19c-1.966 11.669-6.296 20.77-14.245 31.194c-1.478 4.114-6.845 4.611-6.296 8.89c-.231 1.413-3.222 2.66-3.408 4.295c3.703 4.52-3.068 6.677 3.582 8.72c2.802.1.113 1.52.47 2.98c2.597 1.816 1.59 3.483.074 5.368c-.368.556 3.604 2.527 1.163 3.447c-5.671 2.326 1.61 6.831-3.281 10.21c-.187.076.879 2.332.459 2.874c-9.863 3.883-5.002 13.618-8.351 17.676c-1.117.973-2.422 1.516-.173 2.813c.877.99-4.171 6.67-.343 6.92c3.86 2.186-4.512 9.02 4.178 10.084c-.284 3.24-7.863 7.127-3.235 9.424c.009 2.285-.636 7.753-3.682 9.733c-.028 5.12-.348 9.893-4.307 14.318c2.295 1.897 1.055 4.19 1.3 6.53c1.292 4.195 7.587-3.68 3.426 3.485c-3.038 2.54 1.936 2.44-.57 6.184c.336.755 1.027 1.089-1.546 2.62c6.554.157-1.784 2.898.247 7.607c-2.703 5.548 3.638 14.207-3.527 16.105c-2.552.649-.734 6.58 1.653 6.02c-1.594 5.41-6.278 10.762-6.105 16.767c6.383 2.274-6.339 5.326.814 7.516c.533 1.645-4.224.536-1.756 3.525c-1.52 1.241-2.075 6.71-1.888 9.586c.718 2.94-2.143 5.07-2.676 7.795c2.845 2.318 1.093 3.918-.37 7.209c4.857.898-2.674 2.758-.503 6.153c2.524 13.244-6.151 25.108-5.698 38.849c-8.69-4.383-6.399-11.067-12.066-6.461c-1.813-4.283 1.928-21.453-2.149-14.458c-5.62 7.795 8.927-18.16 4.325-23.54c-1.298-1.834 6.055-8.697.32-8.332c-.469-4.115 3.38-8.382 4.48-12.462c.706-21.975 3.26-9.71-23.3-2.903c6.472.162-1.858 8.758 2.484 9.264c1.674-.213 3.01.254 1.254 1.783c-1.942 6.359.307 13.443-3.346 20.054c.215 3.356 2.688 4.867-1.163 7.373c-.772 6.046-2.505 11.714-2.556 18.858c1.345 8.998-8.831-2.96-12.11 3.897c3.526-8.854-5.926 1.736-.54-11.847c6.604-23.887-13.9.16-.66-14.61c3.866-2.17 3.419-19.318-1.26-10.703c-.786-3.447 9.993-13.135-1.092-7.082c-2.491-3.29 5.822-12.382-.948-5.427c-.346-2.469-3.687-4.025.164-6.067c-8.809 1.25-9.659.746-10.323 11.34c-4.52 6.754 1.95 8.822-1.357 14.789c1.236 1.703 3.198.57 3.574 3.36c.986 9.057.704 15.785-8.191 24.44c-5.415.843-7.37-1.702-7.556-8.614c-10.128 13.72 3.302-9.02-6.777.904c3.63-8.65 2.635-10.828-3.208-7.287c1.944-5.604 7.11-9.52 1.81-14.57c.721-3.701 4.223-6.796 3.847-11.298c3.122-7.295 12.619-17.057-1.393-16.473m-44.72-18.284l-27.79-17.205c-2.464-1.404-4.033.203-5.466 1.913c-9.418 14.609-39.243 32.673-62.632 8.956c-11.047-9.59-11.893-12.976-16.718-7.38c-13.805 18.678-35.068 26.581-49.515 17.122c-12.218-7.193-23.107-14.142-30.75-20.495c-1.677-1.385-2.645-1.031-3.748.475c-18.421 32.02-40.155 35.407-53.458 21.49c-7.121-6.906-13.54-14.537-20.23-21.887c-3.536-4.99-4.468-9.287 3.004-10.939c4.097-.905 7.193-1.545 9.39 2c6.634 8.808 13.858 17.11 22.18 24.39c13.213 11.744 12.696-.44 26.042-17.04c3.777-6.075 17.232-16.895 30.295-6.212c15.069 10.58 37.837 29.115 42.961 21.862c8.049-8.365 11.247-14.655 16.328-18.338c15.054-10.914 23.24-6.869 35.777 6.475c7.386 6.182 17.57 13.847 26.281 10.72c4.731-1.697 7.848-7.975 14.552-17.253c2.611-4.835 14.936-11.515 24.465-5.804l33.921 20.18c13.943 6.757-4.404 15.413-14.888 6.97"/></svg>How to use the Dafny icon
React
import { Icon } from "@iconify/react";
<Icon icon="file-icons:dafny" width="24" />Vue
<script setup>
import { Icon } from "@iconify/vue";
</script>
<template>
<Icon icon="file-icons:dafny" width="24" />
</template>Svelte
<script>
import Icon from "@iconify/svelte";
</script>
<Icon icon="file-icons:dafny" width="24" />Tailwind CSS
<!-- @iconify/tailwind plugin -->
<span class="icon-[file-icons--dafny]"></span>UnoCSS
<!-- @unocss/preset-icons + @iconify-json/file-icons -->
<div class="i-file-icons:dafny"></div>Web component
<script src="https://code.iconify.design/iconify-icon/2.1.0/iconify-icon.min.js"></script>
<iconify-icon icon="file-icons:dafny"></iconify-icon>HTML image
<img src="https://iconyz.com/api/public/svg/file-icons/dafny.svg" alt="Dafny icon" width="24" height="24">Dafny icon FAQ
Is the Dafny icon free for commercial use?
Yes. File Icons are released under the ISC license, which allows use in personal and commercial projects.
How do I use the Dafny icon in React?
Install @iconify/react and render <Icon icon="file-icons:dafny" />, or use “Copy code” on this page to get a standalone React component.
How do I add the Dafny icon to a web page?
Link the SVG file in an image tag: <img src="https://iconyz.com/api/public/svg/file-icons/dafny.svg" alt="Dafny icon">, or paste the SVG code inline to style it with CSS.