Functional Programming and Theorem Proving in Lean 4(web.stanford.edu)6 points·by rck·ปีที่แล้ว·0 commentsweb.stanford.eduFunctional Programming and Theorem Proving in Lean 4https://web.stanford.edu/class/cs99/0 commentsPost comment—