search

dafny-lang / dafny

Dafny is a verification-aware programming language
https://dafny.org
Other
2.91k stars 262 forks source link

Dafny Wikipedia page needs updating #1889

Open robin-aws opened 2 years ago

robin-aws commented 2 years ago

Quite possibly the weirdest GitHub issue I've ever cut. :)

Someone pointed out to me that https://en.wikipedia.org/wiki/Dafny is quite out of date: it claims Dafny only targets C#, was last released 13 months ago, includes "limited" support for OOP, etc.

We recently refreshed the README page on GitHub, but the Wikipedia page is still one of if not the top result when googling Dafny. The challenge here is finding someone with experience editing Wikipedia, a set I am not currently a member of. :)

davidcok commented 2 years ago

I made an editing pass. Please review and suggest corrections. Wikipedia would still like more references, so suggest those as well. @robin-aws @RustanLeino

davidcok commented 2 years ago

Wikipedia's Conflict of Interest policy strongly discourages anyone (paid to be) on the Dafny team from authoring edits (so I reverted mine). We should encourage some user to do an edit.

davidcok commented 2 years ago

Rosemary Monahan made a pass at editing the page. It is reasonably improved.