Alloy 6 の新機能 Mutable Field と線形時相論理https://zenn.dev/y_taka_23/articles/alloy-mutable-fields
v5以前も忘れていて、リファレンス引きながらだと進まんな。一旦、流し読みで
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。