diff --git a/tools/programs/dafny.md b/tools/programs/dafny.md
index b0479d7..a954a77 100644
--- a/tools/programs/dafny.md
+++ b/tools/programs/dafny.md
@@ -4,9 +4,9 @@ draft = false
 title = 'Dafny'
 subtitle = 'Program Proofs'
 links = [
-    { title = "Homepage", url = "https://cvc5.github.io/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/dreal/dreal4", icon = 'fa-brands fa-github'  },
-    { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
+    { title = "Homepage", url = "https://dafny.org/", icon = 'fa-solid fa-home' },
+    { title = "Source Code", url = "https://github.com/dafny-lang/dafny", icon = 'fa-brands fa-github'  },
+    # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Program Prover']
 developers = ['Amazon Web Services']