From 4825d6c67e42a9da4b87a570ff7f109c26c4779e Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Thu, 22 Oct 2020 14:53:39 +0000 Subject: Initial commit. * COPYING: New file. * Makefile.am: New file. * README.org: New file. * README.md: Delete file. * bootstrap: New file. * build-aux/test-driver.scm: New file. * configure.ac: New file. * guix.scm: New file. * pre-inst-env.in: New file. * rabbit-prover.scm: New file. * toot.scm: New file. --- README.org | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 README.org (limited to 'README.org') diff --git a/README.org b/README.org new file mode 100644 index 0000000..96d66fb --- /dev/null +++ b/README.org @@ -0,0 +1,3 @@ +* vikalpa + +Vikalpa is Proof Assistant. -- cgit v1.2.3