Show HN: Halmos.Science - Hacker News for math, the server checks the proofs

3 points | by nadermx 6 hours ago