Show HN: Verified Deep Learning with Lean 4(brettkoonce.github.io)6 ポイント·投稿者 asparagui·3 か月前·0 コメントbrettkoonce.github.ioShow HN: Verified Deep Learning with Lean 4https://brettkoonce.github.io/lean4-mlir/blueprint/1 コメントコメントを投稿[+]asparagui·3 か月前