G github.com HoarePrompt: Structural Reasoning About Program Correctness in Natural Language 6 points mechtaev 1 year ago 0 comments