Machine Learning Tools

https://www.youtube.com/watch?v=vHHBptK2RUo

https://www.youtube.com/watch?v=a0TPMvXm9rA

https://www.youtube.com/watch?v=Wx4bidSSM00

https://www.youtube.com/watch?v=06-AZXmwHjo

https://en.wikipedia.org/wiki/Coq

https://en.wikipedia.org/wiki/Abstract_rewriting_system

MLOps

|https://www.youtube.com/watch?v=06-AZXmwHjo%7C%7C%7C%7C%7C}}