vikalpa.git/rabbit-prover, branch develop-202001 Vikalpa is a proof assistant inspired by J-Bob http://git.tojo.tokyo/vikalpa.git/atom?h=develop-202001 2020-11-08T17:56:59Z wip10 2020-11-08T17:56:59Z Masaya Tojo masaya@tojo.tokyo 2020-11-08T17:56:59Z urn:sha1:7a238e7df0c9c7c684b7f761f495b21aa088bd68 wip4 2020-11-07T18:43:42Z Masaya Tojo masaya@tojo.tokyo 2020-11-07T18:43:42Z urn:sha1:58da83a6f6bee9c614ee67c6823c20ac228be7f6