Formalization of a Stochastic Approximation Theorem.

Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun

Browse the full ITP paper archive.