1name = "wp28proofs"2version = "0.1.0"3keywords = ["math"]4defaultTargets = ["Wp28proofs"]56[leanOptions]7pp.unicode.fun = true # pretty-prints `fun a ↦ b`8relaxedAutoImplicit = false9weak.linter.mathlibStandardSet = true10maxSynthPendingDepth = 31112[[require]]13name = "mathlib"14scope = "leanprover-community"15rev = "v4.35.0"1617[[lean_lib]]18name = "Wp28proofs"19