From deb6739fcc3fabc31ba6af0bc07b4a48a28f2959 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20B=C3=B6ving?= Date: Sat, 27 Nov 2021 16:19:45 +0100 Subject: [PATCH] chore: Initial Lake project --- .gitignore | 2 ++ lakefile.lean | 7 +++++++ lean-toolchain | 1 + 3 files changed, 10 insertions(+) create mode 100644 .gitignore create mode 100644 lakefile.lean create mode 100644 lean-toolchain diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..29035da --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +/build +/lean_packages diff --git a/lakefile.lean b/lakefile.lean new file mode 100644 index 0000000..2f747bb --- /dev/null +++ b/lakefile.lean @@ -0,0 +1,7 @@ +import Lake +open Lake DSL + +package «doc-gen4» { + -- add configuration options here + supportInterpreter := true +} diff --git a/lean-toolchain b/lean-toolchain new file mode 100644 index 0000000..22206e9 --- /dev/null +++ b/lean-toolchain @@ -0,0 +1 @@ +leanprover/lean4:nightly-2021-11-26