vikalpa.git/tests, branch v0.1.0 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 Add tests. 2021-01-19T00:32:49Z Masaya Tojo masaya@tojo.tokyo 2021-01-19T00:31:59Z urn:sha1:88c6250ba7cf3f9d99e2eb54e89dafc7a4c14622