4 ms·Signal Shot: Verifying the Signal Protocol and Rust Implementation with Lean5 points by birdculture 6mo ago