diff options
-rw-r--r-- | README.org | 2 | ||||
-rw-r--r-- | guix.scm | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -1,3 +1,3 @@ * vikalpa -Vikalpa is Proof Assistant. + Vikalpa is a proof assistant inspired by J-Bob. @@ -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+))) |