11 lines
162 B
TOML
11 lines
162 B
TOML
name = "invariant"
|
|
version = "0.1.0"
|
|
defaultTargets = ["Invariant"]
|
|
|
|
[[lean_lib]]
|
|
name = "Invariant"
|
|
|
|
[[require]]
|
|
name = "mathlib"
|
|
scope = "leanprover-community"
|