HoarePrompt: Structural Reasoning About Program Correctness in Natural Language(github.com)
github.com
HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
https://github.com/msv-lab/HoarePrompt
0 comments
—
https://github.com/msv-lab/HoarePrompt
—