diff --git a/tools/programs/shuttle.md b/tools/programs/shuttle.md index 5399104..ecb5dd6 100644 --- a/tools/programs/shuttle.md +++ b/tools/programs/shuttle.md @@ -1,7 +1,7 @@ +++ date = 2025-07-10 draft = false -title = 'Loom' +title = 'Shuttle' subtitle = 'Rust Verifier' links = [ # { title = "Homepage", url = "https://www.pm.inf.ethz.ch/research/prusti.html", icon = 'fa-solid fa-home' },