• download Coq8.6.1 and install to application
      • Download spatchcock and install to applications.
      • You might need to install gtk, the easiest is to use homebrew.

      If you already have homebrew installed then open a terminal and type

    • brew install gtk+

      If you do not have homebrew installed then install it: open a terminal and then type

      /usr/bin/ruby -e “$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)”

      and then

      brew install gtk+

      Now you are done, click on spatchcock to start.