Mnehmos/openai-proof-formalization.website documentation · Repowise