Functional Programming and Theorem Proving in Lean 4(web.stanford.edu)6 points·by rck·letztes Jahr·0 commentsweb.stanford.eduFunctional Programming and Theorem Proving in Lean 4https://web.stanford.edu/class/cs99/0 commentsPost comment—