Hacker News new | ask | show | jobs
Show HN: Verified Deep Learning with Lean 4 (brettkoonce.github.io)
6 points by asparagui 62 days ago