GitHub repository: katzenpost/crypt_walker
Primary language: Lean
Created: 2024-07-16T02:57:34Z
Description: Lean and Rust based cryptographic protocol framework for formally proving protocol properties