vikalpa.git/vikalpa, branch develop-202001
Vikalpa is a proof assistant inspired by J-Bob
http://git.tojo.tokyo/vikalpa.git/atom?h=develop-202001
2021-01-16T13:43:42Z
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
wip64
2021-01-04T23:19:47Z
Masaya Tojo
masaya@tojo.tokyo
2021-01-04T23:19:47Z
urn:sha1:54431be7b5461dde802d93f28b7b65f1139a8106
wip63
2021-01-04T22:55:52Z
Masaya Tojo
masaya@tojo.tokyo
2021-01-04T22:55:52Z
urn:sha1:32ce95f0cb18145f1e5e307b665a3cd1c1750253
wip62
2021-01-03T10:19:20Z
Masaya Tojo
masaya@tojo.tokyo
2021-01-03T10:19:20Z
urn:sha1:0f5ef2e0cbca8065fb3a804a27813cfecc984120
wip61
2020-12-21T03:37:29Z
Masaya Tojo
masaya@tojo.tokyo
2020-12-21T03:37:29Z
urn:sha1:f59adfbf19139706fffc97f8a35e4add214a8a9e
wip60
2020-12-19T20:12:02Z
Masaya Tojo
masaya@tojo.tokyo
2020-12-19T20:12:02Z
urn:sha1:0029f0e5eb02144133f6e005faccd09be8f9428c