From b7cd52b5c2f223bfcc86dc90eb437c1873408faf Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Thu, 10 Jul 2025 12:39:36 -0600 Subject: [PATCH] Fix #14 --- tools/programs/dafny.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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']