chore: Link blog from the README (#4260)

dafny-lang · Jul 8, 2023 · 5c1badc · 5c1badc
1 parent 7f9af10
commit 5c1badc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -52,6 +52,7 @@ Here are some ways to get started with Dafny:
 * [Dafny libraries](https://github.com/dafny-lang/libraries), a standard library of useful Dafny functions and lemmas
 * [Dafny Power User](http:https://leino.science/dafny-power-user)
 * Videos at [Verification Corner](https://www.youtube.com/channel/UCP2eLEql4tROYmIYm5mA27A)
+* [Blog](https://dafny.org/blog)
 
 The language itself draws pieces of influence from: