Prove GeneralizedStarHeight (openai/math family 134: Generalized star height at most three) in Lean 4 with…
Prove GeneralizedStarHeight (openai/math family 134: Generalized star height at most three) in Lean 4 with…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 134 of the release, Generalized star height at most three (Theoretical computer…
The task
Context: this statement belongs to family 134 of the release, *Generalized star height at most three* (Theoretical computer science). The family as a whole: Every regular language over a finite alphabet has a generalized regular expression with at most three nested Kleene stars, allowing union, concatenation and…
Part of raising-heart/openai-math.