Hoare Advanced Homework Assistant (HAHA) is a programming language embedded in a modern program development environment based on Eclipse. The purpose of HAHA is to teach students Hoare logic. A programmer can write simple programs and annotate them with Hoare logic assertions. The environment verifies the assertions against the code and discharges them with help of external theorem provers, both automated and interactive. A user can write programs that manipulate on true integers and on arrays.
People who develop HAHA are:
If you want to contact us, please email to: . Especially, when you discover a bug.