File size: 169 Bytes
0115dcf | 1 2 3 4 5 6 7 8 9 10 11 | import Lake
open Lake DSL
require aesop from git
"https://github.com/leanprover-community/aesop.git" @ "v4.22.0"
package Example
@[default_target]
lean_lib Example
|
0115dcf | 1 2 3 4 5 6 7 8 9 10 11 | import Lake
open Lake DSL
require aesop from git
"https://github.com/leanprover-community/aesop.git" @ "v4.22.0"
package Example
@[default_target]
lean_lib Example
|