lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard
verified publisher icon Deducteam

Wrong scoping of rule LHS on AC symbols

Open fblanqui opened this issue 2 years ago • 0 comments

When scoping rule LHS of AC symbols, AC-canonization should be deactivated.

fblanqui avatar Jun 08 '23 05:06 fblanqui