files / problems / simon-lieb-thirring / lean / lakefile.toml

274 B · on GitHub

name = "simonLiebThirring"
version = "0.1.0"
defaultTargets = ["FhjnProp10Conversion"]
packagesDir = "../../../.lake/packages"

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

[[lean_lib]]
name = "FhjnProp10Conversion"