수학을 심판하는 프로그래밍 언어 – Leo de Moura [영상]

The Programming Language That Referees Mathematics – Leo de Moura [video]