Show HN: Verified Deep Learning with Lean 4(brettkoonce.github.io)6 points·by asparagui·3 เดือนที่ผ่านมา·0 commentsbrettkoonce.github.ioShow HN: Verified Deep Learning with Lean 4https://brettkoonce.github.io/lean4-mlir/blueprint/1 commentsPost comment[+]asparagui·3 เดือนที่ผ่านมา