The Final Form of Software Development

Clean, a formal verification DSL for ZK circuits in Lean4