Show HN: Verified Deep Learning with Lean 4(brettkoonce.github.io)
5 pointsby asparagui6 hours ago1 comment