GitHub repository: reilabs/lampe
Primary language: Lean
Created: 2024-07-27T21:42:25Z
Description: Extracting the semantics of Noir to Lean for formal verification