Checking the equality of formulas and terms is already implemented, but I didn’t have time to add explicit unit tests to this functionality.
No dependencies set.
The note is not visible to the blocked user.
Checking the equality of formulas and terms is already implemented, but I didn’t have time to add explicit unit tests to this functionality.