We have proof automation now

Hacker News shares a post from Imperial Violet announcing automated proof generation capabilities. Filippo Valsorda's cryptography blog made the announcement, though the feed summary doesn't provide article details.

Listen to this story

Hear this and more stories in a personalized audio briefing.

Open The Chonkerton