Six Eyes is an experimental visualization tool, and structure editor, for interacting with the cooltt proof assistant.
The primary goal is to serve as a tool for performing hcoms and hfills with a
drag-and-drop, graphical interface. It is not there yet.
No. Not yet.
