Functional Programming and Theorem Proving in Lean 4(web.stanford.edu)6 ポイント·投稿者 rck·昨年·0 コメントweb.stanford.eduFunctional Programming and Theorem Proving in Lean 4https://web.stanford.edu/class/cs99/0 コメントコメントを投稿—