Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean

Lobsters [Unofficial] April 21, 2026

Like Share Source