ProofBuddy：スキProofBuddy：スキル証明のための新しいツールの関与と理解を高めるんだ。ProofBuddyは、学生の証明作成へ計算機科学における論理ProofBuddyの紹介：教育における証明能力の向上ProofBuddyは学生がIsabelle証明補助ツールを使って数学的証明スキルを身につけるのを手伝うよ。2025-10-08T16:42:48+00:00 ― 1 分で読む