# And now for something completely different

**URL:** <https://community.openai.com/t/and-now-for-something-completely-different/1396010>\
**Category:** Use cases and examples\
**Tags:** feature-request\
**Created:** [September 9, 2026, 7:18am UTC](https://community.openai.com/t/and-now-for-something-completely-different/1396010 "2026-09-09T07:18:09Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![EricGT](https://sea2.discourse-cdn.com/openai1/user_avatar/community.openai.com/ericgt/32/20571_2.png) [@EricGT](https://community.openai.com/u/EricGT)\
**Post date:** [September 10, 2026, 7:53am UTC](https://community.openai.com/t/and-now-for-something-completely-different/1396010/2 "2026-09-10T07:53:14Z")

</div>

> [@locl](#):
>
> Lean

Are you referring to Lean proof assistant?

> **[Lean Programming Language](https://lean-lang.org/)**
>
> Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.

I am asking because I am looking at another [topic](https://community.openai.com/t/long-running-unit-tests-make-chatgpt-unrecoverable/1396270) and found this topic which might be of value with the other topic.

---

_[View the full topic](https://community.openai.com/t/and-now-for-something-completely-different/1396010)._