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 /README.org | |
| parent | 88c6250ba7cf3f9d99e2eb54e89dafc7a4c14622 (diff) | |
Update synopsis and description.
Diffstat (limited to 'README.org')
| -rw-r--r-- | README.org | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,3 +1,3 @@ * vikalpa -Vikalpa is Proof Assistant. + Vikalpa is a proof assistant inspired by J-Bob. |