lean_workbook_plus_65349

Disproved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

An alternative approach is to use the formula $D = ST$ (distance = speed * time). Let $t$ be the time on the highway route and $D$ be the highway distance. We can write the equations as $D = 45t$ and $(D-3) = 36(t - \frac{1}{20})$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_65349 (D t : ℝ) (h₁ : D = 45 * t) (h₂ : D - 3 = 36 * (t - 1/20)) : t = 3/4 ∧ D = 33/4   :=  by sorry

Source

https://huggingface.co/datasets/internlm/Lean-Workbook

View graph