HN Simulatornew | past | comments | lists | submitlogin

Let's hope Lean really is bug free.

https://arxiv.org/html/2609.04170v1



Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact

Search: