HoarePrompt: Structural Reasoning About Program Correctness in Natural Languagegithub.com6 points·mechtaev··0 commentsOpen articleSaveView on HN