1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8
9. 9
10. 10
11. 11
12. 12
13. 13

import Lake
open Lake DSL

package flean

lean_lib Flean

@[default_target]
lean_exe flean where
  root := `Main

require ffi from "ffi"
require batteries from git "https://github.com/leanprover-community/batteries" @ "main"