YHacker Newsscreenshots

dafny.org on Hacker News

2 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of dafny.org: Dafny: Verification-Aware Programming Language

Dafny: Verification-Aware Programming Language (dafny.org)

88 points by handfuloflight 10 months ago | 30 comments

Screenshot of dafny.org: Teaching Program Verification in Dafny at Amazon (2023)

Teaching Program Verification in Dafny at Amazon (2023)(dafny.org)

53 points by Jtsummers 1 year ago | 18 comments