new | ask | show | jobs
Show HN: Verified Deep Learning with Lean 4
5 points by asparagui 6 hours ago | 1 comments
asparagui 6 hours ago  [ - ]

[dead]