We describe the design and implementation of Logtk, an OCaml library for writing automated reasoning tools that deal with (possibly typed) first-order logic. The library provides data structures and algorithms to represent terms, formulas, substitutions, perform unification, index terms, parse probl...
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!