これがオーバーフローに属していない場合は申し訳ありませんが、今年の大学で Z を学ぶようになったので、Z を使用して仕様を作成し続けたいという強い衝動があります。
LinuxまたはSunOSで通常使用されていることを現在理解しているため、Mac PCでダウンロードできるかどうかを知りたかったのですが、自宅にはどちらもありません。グーグルで見つけられなかったので、ダウンロードできる場所へのリソースを大いに感謝します。zans animator と ztc type checker もインストールしたいです。
前もって感謝します。