Hacker News new | ask | show | jobs
by riku_iki 700 days ago
its not clear if theorem is actual input formal definition, or formal definition was in different form.