BesovSpacesGoodGrid/lakefile.toml at main · SmaniaD/BesovSpacesGoodGrid · 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
name = "BesovSpacesGoodGrid"
version = "0.1.0"
keywords = ["math"]
defaultTargets = ["BesovSpacesGoodGrid"]

releaseRepo = "https://github.com/SmaniaD/BesovSpacesGoodGrid"
preferReleaseBuild = true

[leanOptions]
pp.unicode.fun = true # pretty-prints `fun a ↦ b`
autoImplicit = false

[[require]]
name = "LaminarFamiliesMaximalBinaryTrees"
git = "https://github.com/SmaniaD/LaminarFamiliesMaximalBinaryTrees.git"
rev = "v0.1.0"

[[require]]
name = "UnconditionalSchauderBasis"
git = "https://github.com/SmaniaD/UnconditionalSchauderBasis.git"
rev = "v0.1.3"

[[require]]
name = "UnbalancedHaarWavelet"
git = "https://github.com/SmaniaD/UnbalancedHaarWavelet.git"
rev = "v0.1.3"


[[lean_lib]]
name = "BesovSpacesGoodGrid"