vikalpa.git/bootstrap, branch develop Vikalpa is a proof assistant inspired by J-Bob http://git.tojo.tokyo/vikalpa.git/atom?h=develop 2020-10-23T14:57:59Z Initial commit. 2020-10-23T14:57:59Z Masaya Tojo masaya@tojo.tokyo 2020-10-22T14:53:39Z urn:sha1:30aa68089dc2f353a6c17e1ea83c61dd2b06aede * 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.