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 /lean-toolchain | |
| download | lean-brooks-main.tar.gz lean-brooks-main.zip | |
init main
Diffstat (limited to 'lean-toolchain')
| -rw-r--r-- | lean-toolchain | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lean-toolchain b/lean-toolchain new file mode 100644 index 0000000..8259911 --- /dev/null +++ b/lean-toolchain @@ -0,0 +1 @@ +leanprover/lean4:v4.18.0 \ No newline at end of file |