Signal Shot: verify the Signal protocol and its Rust implementation using Lean leodemoura.github.io 4 points by u1hcw9nx 15 hours ago