@@ -10,6 +10,8 @@ Gryphon is compatible with **Windows**, **Mac**, and **Ubuntu Linux**. For Mac
# Installing Gryphon
The installation approach is different based on the operating system you are using. **Windows** and **Mac** installations currently additionally require access to a Gryphon server to generate traces and to perform syntax checking.
To install and run Gryphon directly, please follow the steps for your operating system.
Thanks to contributions from Ben Payne, Gryphon can alternatively be run in **Docker** without requiring the Gryphon server, please see https://github.com/researcherben/formal-models.
