Update synopsis and description.

2 files changed, 3 insertions, 3 deletions

diff --git a/README.org b/README.org
index 96d66fb..1e9e886 100644
--- a/README.org
+++ b/README.org
@@ -1,3 +1,3 @@
 * vikalpa
 
-Vikalpa is Proof Assistant.
+  Vikalpa is a proof assistant inspired by J-Bob.
diff --git a/guix.scm b/guix.scm
index 21460c6..ec32e56 100644
--- a/guix.scm
+++ b/guix.scm
@@ -39,8 +39,8 @@
        ("texinfo" ,texinfo)))
     (inputs
      `(("guile" ,guile-3.0)))
-    (synopsis "Proof Assistant")
-    (description "Vikalpa is Proof Assistant.")
+    (synopsis "Proof assistant for GNU Guile")
+    (description "Vikalpa is a proof assistant inspired by J-Bob.")
     (home-page "https://gitlab.com/tojoqk/vikalpa")
     (license license:gpl3+)))