HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by itishappy | Hacker News Reader
Parent
Full thread
itishappy
·
Note that the Lean kernel itself is not formally verified.
View on HN
schiffern
·
Don't let the OpenAI marketing department hear you...
Reply on news.ycombinator.com