feat: update to lakefile.toml

2024-05-31 14:58:07 -04:00 · 2024-05-31 14:58:07 -04:00 · d81fa5d181
commit d81fa5d181
parent 294e4974b4
2 changed files with 14 additions and 0 deletions
--- a/lakefile.toml
+++ b/lakefile.toml
@ -0,0 +1,14 @@
+name = "hep_lean"
+defaultTargets = ["HepLean"]
+
+[[require]]
+name = "mathlib"
+git = "https://github.com/leanprover-community/mathlib4.git"
+
+[[require]]
+name = "«doc-gen4»"
+git = "https://github.com/leanprover/doc-gen4"
+rev = "main"
+
+[[lean_lib]]
+name = "HepLean"