MarisaKirisame/first_order_logic_prover

MarisaKirisame/first_order_logic_prover 是 GitHub 上的开源项目。

语言：C++ · GitHub 星标：63 · Fork：9

话题：first-order-logic · theorem-proving

在 GitHub 上查看原仓库