Add conclusion text to Getting Started

informalsystems · Jul 1, 2024 · bceadc7 · bceadc7
1 parent 11782b1
commit bceadc7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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.
 </Steps>
+
+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).