Kripner/nanoproof

Minimal open-source implementation of AlphaProof and HyperTree Proof Search.

语言：Python · GitHub 星标：99 · Fork：12

在 GitHub 上查看原仓库