sergiu

Summary: Protocols for secure messaging in Lean / VCVio

Repo: https://github.com/Beneficial-AI-Foundation/secure-messaging