update readme in template

SkymanOne · Mar 25, 2024 · bd00760 · bd00760
1 parent 2eca0d2
commit bd00760
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 1 deletion.
diff --git a/examples/counter/README.md b/examples/counter/README.md
@@ -1,3 +1,9 @@
 # Verifiable counter
 
-This is a simple counter smart contract.
+This is a simple counter smart contract written in [folidity](https://github.com/SkymanOne/folidity).
+It has some arbitrary bounds that allow you to control a dynamic formal specification of the contract.
+Folidity compiler allows you to formally prove that these bounds and contracts are not violated in your code.
+
+## Usage
+- `folidity new <project_name>` - initialise a new counter project in the destination directory.
+- `folidty check <file_name>` - check the source code for parser, semantic and type errors.
diff --git a/examples/flipper/README.md b/examples/flipper/README.md
diff --git a/examples/flipper/flipper.fol b/examples/flipper/flipper.fol