Mastodon Feed: Post

Mastodon Feed

dysfun@treehouse.systems ("gaytabase") wrote:

Reported by OpenAI by email to a random core team member (not me). For anyone reading this, please directly open issues instead of emailing random people.

The AI said...

https://github.com/rocq-prover/rocq/issues/22391