Vikalpa is a proof assistant inspired by J-Bob http://git.tojo.tokyo/vikalpa.git/atom?h=v0.1.0 2021-01-19T00:32:49Z 2021-01-19T00:32:49Z Masaya Tojo masaya@tojo.tokyo 2021-01-19T00:31:59Z urn:sha1:88c6250ba7cf3f9d99e2eb54e89dafc7a4c14622 2021-01-19T00:32:49Z Masaya Tojo masaya@tojo.tokyo 2021-01-19T00:31:41Z urn:sha1:30c79dec9f93efb0a7700e9ceb60b57ee13743bf 2021-01-19T00:32:49Z Masaya Tojo masaya@tojo.tokyo 2020-10-22T14:53:39Z urn:sha1:4825d6c67e42a9da4b87a570ff7f109c26c4779e * 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.