how-to-prove icon indicating copy to clipboard operation
how-to-prove copied to clipboard

Published 20 hours ago • verified publisher icon psibi

Answer missing bound variable y

Open hadyfarhat opened this issue 4 years ago • 1 comments

In section 1-3 Ex 6-c you forgot to include y as a bound variable.

hadyfarhat avatar Jun 16 '20 09:06 hadyfarhat

@hadyfarhat Patches welcome!

psibi avatar Jun 16 '20 09:06 psibi