AlphaProof Code