File size: 189 Bytes
ebed3db | 1 2 3 4 5 6 7 8 9 10 | 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
|
ebed3db | 1 2 3 4 5 6 7 8 9 10 | 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
|