注册并分享邀请链接,可获得视频播放与邀请奖励。

Delba
@delba_oliveira
For the love of the craft. Claude Code • @ClaudeDevs @AnthropicAI | Prev. @Vercel
加入 August 2017
723 正在关注    132.5K 粉丝
> This seems compelling, but I don't know much about formal verification. Read Boris's tweet and create a video explaining the concept.
0
7
117
8
转发到社区