A web-based graphical proof assistant for LK and Hoare logic.
-
Updated
May 18, 2022 - JavaScript
GUI stands for graphical user interface. It is a visual representation of communication presented to the user for easy interaction with the machine. It allows users to manipulate elements on the screen using a mouse, a stylus or even a finger. The actions in a GUI are usually performed through direct manipulation of the graphical elements.