GitHub repository: zksecurity/clean
Primary language: Lean
Created: 2024-08-01T10:06:05Z
Description: Lean experiments at zksecurity