搜索 "equivalence" 的结果(共 2 个)
heya-unify
Unify: a unification tool with a deep equivalence and partitioning of objects.
BSD-3-Clause
unexpected-function-equality
Determine function equivalence by pretty-printing, then comparing the strings
BSD-3-Clause