Task: Implement Universal Quantifier Verification
Task: Implement Universal Quantifier Verification: a task in Terminal-Lego-15k (Harbor dataset). In mathematical notation and algorithm analysis, the symbol ∀ (universal quantifier) means "for all" or "for every". For example, the expression ∀x ∈ S: P(x) means "for all x in set S, the predicate…
The task
In mathematical notation and algorithm analysis, the symbol ∀ (universal quantifier) means "for all" or "for every". For example, the expression `∀x ∈ S: P(x)` means "for all x in set S, the predicate P(x) is true".
Part of PrimeIntellect/Terminal-Lego-15k.