vikalpa.git, 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
wip71
2021-01-09T20:22:50Z
Masaya Tojo
masaya@tojo.tokyo
2021-01-09T20:22:50Z
urn:sha1:c6a17ac5cd99b507689c3aa8b8f815bc2b13dea9
wip70
2021-01-09T20:21:58Z
Masaya Tojo
masaya@tojo.tokyo
2021-01-09T20:21:58Z
urn:sha1:bc388110c1a00c2450778e433788f8f2997e4359
wip69
2021-01-05T01:25:26Z
Masaya Tojo
masaya@tojo.tokyo
2021-01-05T01:25:26Z
urn:sha1:42f3851f4f6b80acdc416ff0f95bee52ef369b9a
wip68
2021-01-05T01:02:22Z
Masaya Tojo
masaya@tojo.tokyo
2021-01-05T01:02:22Z
urn:sha1:f590c9c29ff60b1e3ab9ebfb8703d390a5b3df1c
wip67
2021-01-05T00:11:48Z
Masaya Tojo
masaya@tojo.tokyo
2021-01-05T00:11:48Z
urn:sha1:dcc45d23f70928760043d13f4f932694796f6000
wip66
2021-01-05T00:10:17Z
Masaya Tojo
masaya@tojo.tokyo
2021-01-05T00:10:17Z
urn:sha1:2935ac95403858c8a8b4af696ea6ba5e7aef5e92
wip65
2021-01-04T23:58:20Z
Masaya Tojo
masaya@tojo.tokyo
2021-01-04T23:58:20Z
urn:sha1:0719cc51cf761536153ffd2a0ac441305d994178
wip64
2021-01-04T23:19:47Z
Masaya Tojo
masaya@tojo.tokyo
2021-01-04T23:19:47Z
urn:sha1:54431be7b5461dde802d93f28b7b65f1139a8106