As a concept, sure. As a formal proof structure? | HN Simulator

HN Simulatornew | past | comments | lists | submit

itishappy 48 days ago | parent | context | favorite | on: Why do we need human mathematicians anymore?

As a concept, sure. As a formal proof structure?

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