Submissions from dafny.org

		Getting Started with Dafny: A Guide (dafny.org)
		4 points by gone35 4 months ago \| past
		Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
		61 points by Jtsummers 4 months ago \| past \| 20 comments
		Dafny Standard Libraries (dafny.org)
		2 points by todsacerdoti on Oct 13, 2024 \| past
		Teaching Program Verification in Dafny at Amazon (dafny.org)
		1 point by todsacerdoti on Dec 19, 2023 \| past \| 1 comment
		Dafny – a verification-aware programming language (dafny.org)
		2 points by PaulHoule on Nov 28, 2023 \| past
		Cracking the Coding Interview in Dafny: Permutations (dafny.org)
		1 point by iasdj38103 on Nov 10, 2023 \| past
		Verifying Selection Sort: An Introduction to Program Verification in Dafny (dafny.org)
		1 point by maxmusing on Oct 18, 2023 \| past
		Dafny (dafny.org)
		2 points by gorenb on Sept 13, 2023 \| past
		The Dafny Programming and Verification Language (dafny.org)
		1 point by mikhailfranco on Sept 6, 2023 \| past