diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-07 15:06:03 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-16 23:33:16 +0900 |
| commit | 6f7d68bed5e0097257f1b36289f8af3b7efaa4ae (patch) | |
| tree | c228a3581bd531fe7fa95de35ff10d4508e44d78 /README.org | |
| parent | 30aa68089dc2f353a6c17e1ea83c61dd2b06aede (diff) | |
wipdevelop
Diffstat (limited to 'README.org')
| -rw-r--r-- | README.org | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,3 +1,3 @@ -* rabbit-prover +* vikalpa -Rabbit Prover is Prove S-expression. +Vikalpa is Proof Assistant. |