Open in Damus
3001
@Ye
1792739823
https://gigazine.net/news/20261023-anthropic-formal-verification/
