Prove MassAction (openai/math family 149: Permanence for weakly reversible reaction networks) in Lean 4 with…
Prove MassAction (openai/math family 149: Permanence for weakly reversible reaction networks) in Lean 4 with…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 149 of the release, Permanence for weakly reversible reaction networks (Dynamical…
The task
Context: this statement belongs to family 149 of the release, *Permanence for weakly reversible reaction networks* (Dynamical systems and ergodic theory). The family as a whole: Proves the permanence conjecture for every finite weakly reversible mass-action system with fixed positive rate constants. Every positive…
Part of raising-heart/openai-math.