chore: Initial Lake project

2021-11-27 16:19:45 +01:00 · 2021-11-27 16:19:45 +01:00 · deb6739fcc
parent 43356fe5e8
commit deb6739fcc
3 changed files with 10 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -0,0 +1,2 @@
+/build
+/lean_packages
--- a/lakefile.lean
+++ b/lakefile.lean
@ -0,0 +1,7 @@
+import Lake
+open Lake DSL
+
+package «doc-gen4» {
+  -- add configuration options here
+  supportInterpreter := true
+}
--- a/1
+++ b/1
@ -0,0 +1 @@
+leanprover/lean4:nightly-2021-11-26