Geeks
Kraks
/
verifyo
Experiments with writing relational verifier/synthesizer in miniKanren.
Primary Language
Scheme
verifyo GitHub
Markdown
Readme
1
Issue
10
Stargazers
5
Watchers
Stargazers
ahuoguo
MPI-SWS
brandonwillard
.txt
dan-zheng
Google
LucianoPAlmeida
@microsoft
omasanori
Japan
qzivli
Hangzhou, China
shaobo-he
webyrd
University of Alabama at Birmingham
wleightond
@thinkst
yibit
yibit