Skip to content

Commit

Permalink
OOPS CORRECT DATE
Browse files Browse the repository at this point in the history
  • Loading branch information
Xavier Denis authored and Xavier Denis committed Sep 5, 2024
1 parent f39f22c commit 27d913c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion content/meetings/contracts.md
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
+++
title = "Contracts in Rust"
date = 2024-09-24T19:00:00+02:00
date = 2024-09-30T19:00:00+02:00
+++

As the growing number of verification tools (Aeneas, Creusot, Kani, Prusti, Verus, ...) has shown, there is a growing community for formal verification of Rust code.
Expand Down

0 comments on commit 27d913c

Please sign in to comment.