https://logic-validator.jangjunha.me
형식언어 ℒ과 Gentzen의 추론 규칙에 따른 논증이 타당한지 실시간으로 검증하는 기능을 가진 웹페이지입니다.
고려대학교 〈기호논리학〉 수업과 〈계산이론〉, 〈프로그래밍언어〉 수업을 듣고 개인적으로 실습해보면서 만든 사이트입니다. 교재 〈기호논리학〉(Benson Mates, 김영정·선우환 역, 문예출판사, 1995)의 형식언어 ℒ과 수업에서 다룬 Gentzen의 추론 규칙을 바탕으로 합니다. 더 자세한 설명은 도움말 페이지를 확인하세요.
파서와 검증기, 웹사이트 모두 Rust로 작성되었습니다. 파서는 nom을, 웹사이트는 yew를 이용했습니다.
-
rustup target add wasm32-unknown-unknown
-
cargo install --locked trunk
$ trunk serve$ cargo test