Gwhy is a graphical user interface for the Why software coordination platform. It assists in the coordination of dispatching assertions that need to be proven to different theorem provers by providing an interface to do this and also supports inspection of why input files.