أيقونة Dafny

<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>