miniKanren-coq
A certified semantics for relational programming workout.
25 stars
3 watching
3 forks
Language: Coq
last commit: almost 4 years ago miniKanren-coq A certified semantics for relational programming workout.