HAHA: Hoare Advanced Homework Assistant

Zamierzam opowiedzieć o koncepcji narzędzia, które ma służyć do wbijania
młodym ludziom do głów podstaw logiki Hoare'a. Spróbuję pokazać podstawy
Eclipsowych technologii, których zamierzam użyć. Głównym celem jest
zebranie uwag i pomysłów, w szczególności od osób, które przeżyły
kontakt ze studentami. Oprócz tego trzeba ustalić, kto mógłby jakieś
fragmenty tego narzędzia pisać oraz kto i kiedy mógłby z niego (tz. z
narzędzia) skorzystać.