1 search result for "tag:"keyword: First-order Unification""

Showing 1 - 1
  1. coq-founify

    No documentation

    Correctness and extraction of the unification algorithm
    keyword: First-order Unification keyword: Robinson category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms category: Miscellaneous/Extracted Programs/Type checking unification and normalization
    Jocelyne Rouyer
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019