Vikalpa is a proof assistant inspired by J-Bob http://git.tojo.tokyo/vikalpa.git/atom?h=v0.3.2 2021-09-16T03:36:17Z 2021-09-16T03:36:17Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T02:59:40Z urn:sha1:9ed7c0c3cb88c1f29e5af292f79434b913724b6b 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.