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