[일반] 타오햄은 전부터 순수수학에 SW 활용 많이 하더라

[익명(119.202)]

자동 증명 보조기 같은 것도 적극적으로 쓰고 호감임