Formalization of a Stochastic Approximation TheoremKoundinya VajjhaBarry Trageret al.2022ITP 2022Conference paper