/convergence-of-gradient-descent-coq

ML Class Project for a proof of convergence of gradient descent

Primary LanguageCoq

No issues in this repository yet.