GitHub repository: lindy-labs/aegis
Primary language: Lean
Description: Verify Cairo contracts in Lean 4