scientific-memory/lakefile.toml at main · fraware/scientific-memory · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
name = "ScientificMemory"
version = "0.1.0"
defaultTargets = ["ScientificMemory"]

[[lean_lib]]
name = "ScientificMemory"
srcDir = "formal"
roots = ["ScientificMemory"]

# Put mathlib last so its transitive dependency versions (e.g. plausible) take precedence; avoids "wrong hashes" when fetching cache.
[[require]]
name = "verso"
git = "https://github.com/leanprover/verso.git"
rev = "v4.29.0-rc6"

[[require]]
name = "mathlib"
git = "https://github.com/leanprover-community/mathlib4"
rev = "v4.29.0-rc6"

[[lean_lib]]
name = "VersoDoc"
srcDir = "scripts/verso"
roots = ["ScientificMemoryVerso"]

[[lean_exe]]
name = "generate-site"
root = "Main"
srcDir = "scripts/verso"
deps = ["VersoDoc"]

[package]
testDriver = "ScientificMemory"
preferReleaseBuild = true
restoreAllArtifacts = true