The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant
Andy Gill · Electronic workshops in computing · 1995
The Haskell Equational Reasoning Assistant (HERA) is an application written in Haskell that helps users construct and present equational reasoning style proofs[1]. In this paper we discuss the technology behind the user interface.