c-cube/logtk

[migrated to https://github.com/c-cube/zipperposition] Logic toolkit, designed primarily for first-order automated reasoning. It aims at providing basic types and algorithms (terms, unification, orderings, indexing, etc.) that can be factored out of several applications.

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

在 GitHub 上查看原仓库