BEq+

一种形式化数学语句等价性检测方法，通过限制证明器并检查证明是否引用另一语句来判定等价。