automated theorem prover 사용해보기.

ATP 분야의 유명한 Competition들도 있고, Vampire 같은 해당 분야에서 가장 성능이 현재까진 최고인 시스템들도 있나보다. 지금도 지구 어딘가에선 ATP를 열심히 디자인하고 있는 사람들이 있겠지.

- dc official App