vikalpa.git/tests, branch develop Vikalpa is a proof assistant inspired by J-Bob http://git.tojo.tokyo/vikalpa.git/atom?h=develop 2021-01-16T14:33:16Z wip 2021-01-16T14:33:16Z Masaya Tojo masaya@tojo.tokyo 2020-11-07T06:06:03Z urn:sha1:6f7d68bed5e0097257f1b36289f8af3b7efaa4ae