From 5d8a66df46e6c86e8f8cb12861cb18c2c5007fe9 Mon Sep 17 00:00:00 2001 From: EHotwagner Date: Sun, 27 Sep 2026 13:17:51 +0200 Subject: [PATCH] Introduce Automata in the README opening paragraph --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index e4fee54..17233b3 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,8 @@ # FsQuint FsQuint reads Quint traces and checks F# implementations against them on .NET 10. +It includes integration examples for [Automata](https://github.com/byzantine-systems/automata), +an F# library for hierarchical statecharts and durable command processing. The packages work in any F# project targeting .NET 10; no FS-GG setup is required. [Quint](https://quint.sh/) is an open-source specification language for modeling