Media Summary: Explains when it's necessary to use Skolem functions when applying recursive parametric inequality as a boolfuck interpretator in desmos
Logic Lesson 18 Introducing Existential - Detailed Analysis & Overview
Explains when it's necessary to use Skolem functions when applying recursive parametric inequality as a boolfuck interpretator in desmos