Remix.run Logo
Show HN: Verified Deep Learning with Lean 4(brettkoonce.github.io)
5 points by asparagui 5 hours ago