[%] 람다-프롤로그 엄청난 물건인 건 확실한데

[기괴공학도(mecheng98)]

내가 그걸 쓸 머리를 가지지 못했다느 사실 ...

공리꼴만 다룰 수 있도록 개조하면,

ZFC 공리계를 다룰 수 있는 1차 논리 증명보조기 개발이 가능한데 ...

[익명(24.131)]

그런 목적이면 Metamath를 보는게 더 나음

[기괴공학도(mecheng98)]

ㄳㄳㄳ