diff options
| author | Malte Voos <git@mal.tc> | 2025-04-11 01:11:46 +0200 |
|---|---|---|
| committer | Malte Voos <git@mal.tc> | 2025-04-15 21:41:46 +0200 |
| commit | 52fc07062e41d9b9c00edf7e48187bd4058cdb93 (patch) | |
| tree | afb0d5e0dd6c753689685a0e5e9096c133205dd9 /lakefile.toml | |
| download | lean-brooks-main.tar.gz lean-brooks-main.zip | |
init main
Diffstat (limited to 'lakefile.toml')
| -rw-r--r-- | lakefile.toml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lakefile.toml b/lakefile.toml new file mode 100644 index 0000000..137e7f4 --- /dev/null +++ b/lakefile.toml @@ -0,0 +1,10 @@ +name = "brooks" +defaultTargets = ["Brooks"] + +[[lean_lib]] +name = "Brooks" + +[[require]] +name = "mathlib" +scope = "leanprover-community" +rev = "v4.18.0" |