dboulytchev / miniKanren-coqLinks

A certified semantics for relational programming workout.
26Updated 4 years ago

Alternatives and similar repositories for miniKanren-coq

Users that are interested in miniKanren-coq are comparing it to the libraries listed below

Sorting: