3 ms·Show HN: Halmos.Science - Hacker News for math, the server checks the proofs3 points by nadermx 1mo ago