https://quinn-dougherty.github.io/2020-04-01-induction-principles/ 2020-04-01T00:00:00-04:00 https://quinn-dougherty.github.io/2020-04-07-eps-delta/ 2020-04-07T00:00:00-04:00 https://quinn-dougherty.github.io/2020-10-04-ladr-coq-1/ 2020-10-04T00:00:00-04:00 https://quinn-dougherty.github.io/ https://quinn-dougherty.github.io/tags/ https://quinn-dougherty.github.io/img/tensorflow-cert.pdf 2021-04-16T12:03:54-04:00