Typo

2026-03-24 11:38:45 -06:00
1 parent 7f70c568a4
commit faaecd37e4
@@ -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' },