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

Showing 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+8.20

MIT

Used by 1 other packages

22 Nov 2024