name = "leanbench"
defaultTargets = ["LeanBench"]

# The revision is rewritten by docker/resolve-mathlib.sh at image build time, so the
# Mathlib revision and the Lean toolchain always agree. Edit MATHLIB_REV, not this.
[[require]]
name = "mathlib"
git = "https://github.com/leanprover-community/mathlib4.git"
rev = "v4.35.0"

[[lean_lib]]
name = "LeanBench"