docs(readme): add installation

BRonen · BRonen · commit 2a1362ba2d2b · 2025-10-16T20:45:26.000-03:00
diff --git a/README.md b/README.md
@@ -1,2 +1,11 @@
 # Sqlite Lean4
 
+## Installation
+
+This project depends on the sqlite3 shared library.
+
+Add this snippet to you lakefile:
+
+``` lean
+require sqlite from git "https://github.com/bronen/sqlite3-lean4" @ "master"
+```
