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

Posted 4 hours ago by u1hcw9nx
4 points

https://leodemoura.github.io/blog/2026-4-20-signal-shot-the-platform-is-ready/

0 comments