# 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:** 3

<div class="post-metadata">

**Author:** ![Eben60](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/eben60/32/13475_2.png) [@Eben60](https://discourse.julialang.org/u/Eben60)\
**Post date:** [August 7, 2025, 9:51am UTC](https://discourse.julialang.org/t/lean-and-julia/131424/3 "2025-08-07T09:51:44Z")

</div>

> [@raman\_kumar](#):
>
> I see no discussion in Julia community about Lean.

> [@SciLean language: Interactive and mathematicaly sound code transformations](https://discourse.julialang.org/t/scilean-language-interactive-and-mathematicaly-sound-code-transformations/81101):
>
> For quite some time I have been playing around with the idea what the next generation scientific computing language might look like and I would like to share my prototype. Mainly because Julia users are the kind of people I’m targeting and you might find it interesting. In no way I’m here to compete with Julia, this is purely experimental thing but I would like to get some feedback, opinions and some ideas on what should I focus. The library is written in Lean 4 which is a language that allows…

---

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