GitHub - Kraks/verifyo: Experiments with writing relational verifier/synthesizer in miniKanren.

Experiments with writing relational verifier/synthesizer in miniKanren.

Name		Name	Last commit message	Last commit date
Latest commit History 91 Commits
dpll		dpll
mk		mk
racket		racket
.gitmodules		.gitmodules
README.md		README.md
arithmetic.scm		arithmetic.scm
dmatch.scm		dmatch.scm
evalo-optimized.scm		evalo-optimized.scm
hoare.scm		hoare.scm
lambda-evalo.scm		lambda-evalo.scm
membero.scm		membero.scm
test-hoare.scm		test-hoare.scm
test-implieso.scm		test-implieso.scm
test-normo.scm		test-normo.scm
test-substo.scm		test-substo.scm
test-syntax.scm		test-syntax.scm
vcg.scm		vcg.scm
while.scm		while.scm

Kraks/verifyo