Metamath C | Hacker News Reader