AlphaProof Code

79 points by ilreb

Read the article

Discussion on Hacker News