c-cube/andes

[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.

语言：OCaml · GitHub 星标：4 · Fork：0

话题：logic-programming · memoization · ocaml · prototype

在 GitHub 上查看原仓库