Formalizing a proof in Lean using Claude Code [video]
5 points
1 month ago
| 0 comments
| youtube.com
| HN
No one has commented on this post.