Zenn (AI)Japan
中学生でもわかる Lean 4――とっても優しい形式証明入門
Lean 4が初めてでも、身近な疑問と小さな例から「証明する」「確かめる」を学べる入門書。反例、前提、定義、形式証明の読み方を一歩ずつたどり、AIの答えや「形式検証済み」という説明について、何が確認され、どこから先はまだ分からないかを見極めます。証明の結果と現実の判断、決める権限の違いもやさしく解説します。
Read at Zenn (AI) ↗More from Zenn (AI) on Accept All
JapanC#アプリのマニュアル作成をGemini Flash Liteで自動化してみた（成功と泥沼の検証記録） Zenn (AI)
Japanシークレットのローテーションは、値を更新するだけでは終わらない Zenn (AI)
JapanAIに「いい感じに動かして」が通じない理由と、動きの名前で頼む方法 Zenn (AI)
Japan32人の3Dアバターが全員消えた日。非エンジニアの私がバイブコーディングでやらかした全記録と、AI顧問のGeminiと築いた20の防衛壁 Zenn (AI)
Japan理解負債を測るCLIを3日で作って、自分で使って止めた話 Zenn (AI)
