람다-프롤로그로 아주 간단한 증명보조기 만든 것 같아요 ㅠㅠ

[기괴공학도(mecheng98)]

https://github.com/mecheng98/pa

∃x P(x)를 공리로 두었을 때, ∀x (P(x) → Q(x)) → ∃x Q(x)의 증명이 통과된 모습이에요.

[익명(223.62)]

굿

[기괴공학도(mecheng98)]

감사합니다!