Show HN: Verified Deep Learning with Lean 4

(brettkoonce.github.io)

6 points | by asparagui 4 days ago ago

1 comments