| import Lake | |
| open Lake DSL | |
| package seb_verification | |
| require mathlib from git "https://github.com/leanprover-community/mathlib4.git" @ "v4.7.0" | |
| @[default_target] | |
| lean_lib SEB_Verification | |
| import Lake | |
| open Lake DSL | |
| package seb_verification | |
| require mathlib from git "https://github.com/leanprover-community/mathlib4.git" @ "v4.7.0" | |
| @[default_target] | |
| lean_lib SEB_Verification | |