vic/zkanren

---

vic/zkanren.json

{
  "defaultBranch": "main",
  "description": "",
  "fullName": "vic/zkanren",
  "homepage": "",
  "language": "Scala",
  "name": "zkanren",
  "pushedAt": "2023-01-24T17:42:34Z",
  "stargazersCount": 0,
  "updatedAt": "2023-01-24T17:42:39Z",
  "url": "https://github.com/vic/zkanren"
}

ZKanren