Grace17 – 집합론 기반의 새로운 수학 증명 보조 도구Grace17 – a new proof assistant for mathematics based on set theory▲ 2 · grace17.org · 1일 전 · 0 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…