vikalpa.git/tests, branch develop-202001 Vikalpa is a proof assistant inspired by J-Bob http://git.tojo.tokyo/vikalpa.git/atom?h=develop-202001 2020-11-25T00:29:38Z wip35 2020-11-25T00:29:38Z Masaya Tojo masaya@tojo.tokyo 2020-11-25T00:29:38Z urn:sha1:60a1d48a4afdb139caa9936895b3f1833d6a7926