diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-19 09:51:33 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-19 09:51:33 +0900 |
commit | e628cb920e05ee9cde72cac45727b4bdafda4c80 (patch) | |
tree | 53e75f33848a4d4532a2b3ab7adada1956f3b69f | |
parent | 88c6250ba7cf3f9d99e2eb54e89dafc7a4c14622 (diff) |
Update synopsis and description.
-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+))) |