1 search result for "tag:"logpath:Unicoq""

Showing 1 - 1
  1. coq-unicoq

    No documentation

    An enhanced unification algorithm for Coq
    logpath:Unicoq date:2024-11-22
    Matthieu Sozeau <matthieu.sozeau@inria.fr> Beta Ziliani <beta@mpi-sws.org>
    1.6+9.1
    MIT
    Used by 1 other packages
    16 Jun 2026