# \#theorem-proving **URL:** https://discuss.ocaml.org/tag/theorem-proving/705.md [Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md) --- ## [Coq and Deep Learning Industrial Projects](https://discuss.ocaml.org/t/coq-and-deep-learning-industrial-projects/16287)
**Author:** [@mostafatouny](https://discuss.ocaml.org/u/mostafatouny)\ **Replies:** 4\ **Last updated:** [March 18, 2025, 2:55pm UTC](https://discuss.ocaml.org/t/coq-and-deep-learning-industrial-projects/16287 "2025-03-18T14:55:27Z")
Hello, This is related to my previous posts: Business models motivating active development in OCaml and OCaml projects utilizing Category theory. A recently curated list, Deep Learning for Theorem Proving, surveys work…