[ 源代码: coq-unicoq ]
软件包:libcoq-unicoq(1.6-8.18-1)
enhanced unification algorithm for Coq
This package provides a new unification algorithm, replacing the existing one through a plugin.
Coq is a proof assistant for higher-order logic.
This package provides a new unification algorithm, replacing the existing one through a plugin.
Coq is a proof assistant for higher-order logic.