Show HN: Halmos.Science - Hacker News for math, the server checks the proofs halmos.science 1 point by nadermx 10 minutes ago