← Back to context

Comment by itishappy

11 days ago

Note that the Lean kernel itself is not formally verified.

1 comment

itishappy

Reply

schiffern 11 days ago

Don't let the OpenAI marketing department hear you...