Show HN: Verified Deep Learning with Lean 4(brettkoonce.github.io)6 points by asparagui 139 days ago | 0 comments