Show HN: Verified Deep Learning with Lean 4

 (brettkoonce.github.io)

4 points | by asparagui 4 hours ago

1 comments