diff options
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. |
index : vikalpa.git | ||
Vikalpa is a proof assistant inspired by J-Bob | Masaya Tojo |
summaryrefslogtreecommitdiff |
-rw-r--r-- | README.org | 2 |
@@ -1,3 +1,3 @@ * vikalpa -Vikalpa is Proof Assistant. + Vikalpa is a proof assistant inspired by J-Bob. |