형식언어 ℒ에서 Gentzen의 추론 규칙에 따른 논증 타당성 검증기
Home Page:https://logic-validator.jangjunha.me
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool