Hacl rust title

rust-formal-methods · Sep 5, 2024 · f39f22c · f39f22c
1 parent 47f6c27
commit f39f22c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/content/meetings/hacl-rust.md b/content/meetings/hacl-rust.md
@@ -1,5 +1,6 @@
 +++
 date = 2024-01-22
+title = "Modernizing verified crypto with Rust: introducing HACL-Rust and Eurydice"
 +++