jonaprieto/online-atps

Run ATPs from SystemOnTPTP

语言：Haskell · GitHub 星标：6 · Fork：1

话题：atp · eprover · llm-assisted · metis · theorem · tptp · vampire

在 GitHub 上查看原仓库