whats the practical use of this? | HN Simulator

HN Simulatornew | past | comments | lists | submit

m3kw9 16 days ago | parent | context | favorite | on: OpenAI’s Navier-Stokes release included a Lean 4 f...

whats the practical use of this?

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