title

Release Dafny 4.10.0 · dafny-lang/dafny · GitHub

charset

utf-8

route-pattern

/:user_id/:repository/releases/tag/*name

route-controller

releases

route-action

show

og:image

https://opengraph.githubassets.com/f496e356d5a342a733e1d951ddcc27bf70f70414726836ed3fa249fdd462bd77/dafny-lang/dafny/releases/tag/v4.10.0

og:image:alt

New features Support for code actions in the language server to: Insert failing implicit assertions in a "by" clause by preference. Insert forall statement for any forall expressions that could ...

og:image:width

1200

og:image:height

600

og:site_name

GitHub

twitter:image

https://opengraph.githubassets.com/f496e356d5a342a733e1d951ddcc27bf70f70414726836ed3fa249fdd462bd77/dafny-lang/dafny/releases/tag/v4.10.0

twitter:site

@github

twitter:card

summary_large_image

twitter:title

Release Dafny 4.10.0 · dafny-lang/dafny

twitter:description

New features Support for code actions in the language server to: Insert failing implicit assertions in a "by" clause by preference. Insert forall statement for any forall expressions t...

alternate icon

https://github.githubassets.com/favicons/favicon.png

assets

https://github.githubassets.com/

dns-prefetch

https://github.githubassets.com

dns-prefetch

https://avatars.githubusercontent.com

dns-prefetch

https://github-cloud.s3.amazonaws.com