vikalpa.git/examples, branch develop-202001
Vikalpa is a proof assistant inspired by J-Bob
http://git.tojo.tokyo/vikalpa.git/atom?h=develop-202001
2021-01-16T14:08:21Z
wip81
2021-01-16T14:08:21Z
Masaya Tojo
masaya@tojo.tokyo
2021-01-16T14:08:21Z
urn:sha1:6bd6d3734621ce747ebf4b39496f87f0b0fdea01
wip80
2021-01-16T13:43:42Z
Masaya Tojo
masaya@tojo.tokyo
2021-01-16T13:41:22Z
urn:sha1:3586ed9e429c37c0e3532a631f9644e7b7f3fe3a
wip58
2020-12-18T03:23:40Z
Masaya Tojo
masaya@tojo.tokyo
2020-12-18T00:41:23Z
urn:sha1:35c4714a8cc38b2a8106b54b87684483b5a94f62
wip34
2020-11-24T14:11:52Z
Masaya Tojo
masaya@tojo.tokyo
2020-11-24T09:12:32Z
urn:sha1:025d51a54e3b1ed50caa48e3799d84270c5adf70
wip33
2020-11-20T23:58:15Z
Masaya Tojo
masaya@tojo.tokyo
2020-11-20T23:58:15Z
urn:sha1:75c3a638f6ebf43adf89c8ff54372c89df084398
wip32
2020-11-20T21:13:44Z
Masaya Tojo
masaya@tojo.tokyo
2020-11-20T21:13:44Z
urn:sha1:1435ead3f090a23917db180748f5501d4d350f27