vikalpa.git/vikalpa/the-little-prover.scm, 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
wip58
2020-12-18T03:23:40Z
Masaya Tojo
masaya@tojo.tokyo
2020-12-18T00:41:23Z
urn:sha1:35c4714a8cc38b2a8106b54b87684483b5a94f62
wip35
2020-11-25T00:29:38Z
Masaya Tojo
masaya@tojo.tokyo
2020-11-25T00:29:38Z
urn:sha1:60a1d48a4afdb139caa9936895b3f1833d6a7926
wip34
2020-11-24T14:11:52Z
Masaya Tojo
masaya@tojo.tokyo
2020-11-24T09:12:32Z
urn:sha1:025d51a54e3b1ed50caa48e3799d84270c5adf70
wip31
2020-11-20T21:13:13Z
Masaya Tojo
masaya@tojo.tokyo
2020-11-20T21:13:13Z
urn:sha1:e58aa4ff8291a2a7972075b04ca2b3f5ced342ad