vikalpa.git/tests, branch v0.2.2 Vikalpa is a proof assistant inspired by J-Bob http://git.tojo.tokyo/vikalpa.git/atom?h=v0.2.2 2021-09-16T03:36:17Z Change `define-system` interface. 2021-09-16T03:36:17Z Masaya Tojo masaya@tojo.tokyo 2021-09-15T08:21:52Z urn:sha1:b6d8f4fe04afb19976d9ded559baeb3f7e72fe2c Rename syntax from `set` to `=`. 2021-09-15T06:15:25Z Masaya Tojo masaya@tojo.tokyo 2021-09-15T06:15:25Z urn:sha1:4f950720df980352964c87abf8333a5b562ee231 Add tests. 2021-01-19T00:32:49Z Masaya Tojo masaya@tojo.tokyo 2021-01-19T00:31:59Z urn:sha1:88c6250ba7cf3f9d99e2eb54e89dafc7a4c14622