AlphaProof Code

Code generation and verification system.

Hacker News submitter: ilreb

Submitted to Hacker News: 2026-11-10

Original source Hacker News discussion