Research source · toml

lakefile.toml

site/public/formal/persistent-stacks/lean/lakefile.toml

5 lines. Source is displayed for inspection; it is not executed by this page.

File fingerprint

SHA-256: 7773af99964ae3759a79326f5ea68fba48a3740b83f6d94b65cdf9dba5464d34

name = "fprdtransfer"
defaultTargets = ["FPRDTransfer"]

[[lean_lib]]
name = "FPRDTransfer"