Hacker News new | ask | show | jobs
by vatsachak 212 days ago
These days you can have math and real computation; proving theorems through reducing terms in Lean