Show HN: Halmos.Science - 수학을 위한 Hacker News, 서버가 증명을 검증합니다Show HN: Halmos.Science - Hacker News for math, the server checks the proofs▲ 3 · halmos.science · 56일 전 · 0 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…