Zulip Chat Archive
Stream: Lean Together 2026
Topic: Son Ho - Formal Verification of Rust Cryptographic Code
Rémy Degenne (Jan 23 2026 at 15:32):
Discussion topic for the talk.
Last updated: Feb 28 2026 at 14:05 UTC
Discussion topic for the talk.
Last updated: Feb 28 2026 at 14:05 UTC