Warmups · warm-up
easyknown result, no worker yet
Three divides twelve
Exercise · three_dvd_twelve
Three divides twelve.
Formal statement · Lean 4.lean
theorem three_dvd_twelve : 3 ∣ 12 := by
sorryProof. sorry
Nobody has tried yet.
Warmups · warm-up
Three divides twelve.
theorem three_dvd_twelve : 3 ∣ 12 := by
sorryProof. sorry
Nobody has tried yet.