1 files changed, 2 insertions, 2 deletions

diff --git a/README.org b/README.org
index 6b33a7f..96d66fb 100644
--- a/README.org
+++ b/README.org
@@ -1,3 +1,3 @@
-* rabbit-prover
+* vikalpa
 
-Rabbit Prover is Prove S-expression.
+Vikalpa is Proof Assistant.