summaryrefslogtreecommitdiff
path: root/vikalpa/the-little-prover.scm
AgeCommit message (Expand)Author
2021-09-17Add (vikalpa the-little-prover)....Masaya Tojo