# Lean and Julia

**URL:** <https://discourse.julialang.org/t/lean-and-julia/131424>\
**Category:** Teaching & Outreach\
**Tags:** offtopic, community\
**Created:** [August 6, 2025, 11:19pm UTC](https://discourse.julialang.org/t/lean-and-julia/131424 "2025-08-06T23:19:31Z")\
**Posts on this page:** 1\
**Showing post:** 8

<div class="post-metadata">

**Author:** ![langestefan](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/langestefan/32/207923_2.png) [@langestefan](https://discourse.julialang.org/u/langestefan)\
**Post date:** [August 26, 2025, 9:18am UTC](https://discourse.julialang.org/t/lean-and-julia/131424/8 "2025-08-26T09:18:29Z")

</div>

I came across a potentially interesting intersection between Lean ([CvxLean](https://github.com/verified-optimization/CvxLean)) and Julia: [State of DCP (Disciplined Convex Programming) - #15 by langestefan](https://discourse.julialang.org/t/state-of-dcp-disciplined-convex-programming/131743/15)

Could this be worth pursuing?

---

_[View the full topic](https://discourse.julialang.org/t/lean-and-julia/131424)._