vikalpa.git/vikalpa, branch master
Vikalpa is a proof assistant inspired by J-Bob
http://git.tojo.tokyo/vikalpa.git/atom?h=master
2021-09-16T15:10:10Z
Add (vikalpa the-little-prover).
2021-09-16T15:10:10Z
Masaya Tojo
masaya@tojo.tokyo
2021-09-16T15:10:10Z
urn:sha1:6b67bd98ccc75e1a32b99d6be1d793ca26f6c9ff
* vikalpa/the-little-prover.scm: New file.
* Makefile.am (SOURCES): Add vikalpa/the-little-prover.scm.