GitHub repository: katzenpost/CryptWalker
Primary language: Lean
Created: 2024-08-25T02:44:58Z
Description: Lean cryptography library for prototyping/modeling protocols and proving protocol properties.