From bceadc7868c33316af8185bc171d3a6cafacb19f Mon Sep 17 00:00:00 2001 From: bugarela Date: Mon, 1 Jul 2024 10:48:17 -0300 Subject: [PATCH] Add conclusion text to Getting Started --- docs/pages/docs/getting-started.mdx | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/pages/docs/getting-started.mdx b/docs/pages/docs/getting-started.mdx index 8c997c696..712da90c9 100644 --- a/docs/pages/docs/getting-started.mdx +++ b/docs/pages/docs/getting-started.mdx @@ -152,3 +152,5 @@ quint verify bank.qnt --invariant=no_negatives This will verify all possible executions of up to 10 steps. We can be confident that we fixed the issue after seeing the `[ok]` result from the `verify` command. + +That's it! Now that you have the tools and know the workflow, you might want to learn how to write your own specs! Check out the Quint [Lessons](/docs/lessons) and [Examples ↗](https://github.com/informalsystems/quint/tree/main/examples).