[일반] 증명 보조기 유용함?

[뽈펜(ieieiei)]

Coq이라는 증명 보조기 공부중인데 이거 배우면 증명 편하게 할 수 있음? 별로 유용하지 않기 때문에 안 유명한 건가?

[익명(39.7)]

그게 머야

[뽈펜(ieieiei)]

말 그대로 증명을 도와주는 프로그램인 듯

[익명(122.202)]

전혀 안 유용하고 저건 증명 체크하는 용도로나 쓸만한건임