diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-09 02:56:59 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-09 02:56:59 +0900 |
| commit | 7a238e7df0c9c7c684b7f761f495b21aa088bd68 (patch) | |
| tree | 299eb84b8706557655a6ea01d32ab37ec94d2789 /README.org | |
| parent | 51b6399599676a5c1a9c6cb27be88a1381f7af8a (diff) | |
wip10
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. |