스크린샷:
최소
OS
아키텍처x86,x64,ARM,ARM64
권장
OS
아키텍처x86,x64,ARM,ARM64
설명
Proof generator and proof checker for propositional logic in "natural deduction" style.
피플 추천
리뷰
물품
약 NaturalDeduction
Advertisement
인기 다운로드
- 1
밀리의 서재
무료 - 2
Minecraft Education
무료 - 3
디지털교과서 2018
무료 - 4
스마일 타자연습
무료 - 5
Scratch 3
무료 - 6
타자왕
무료
인기 앱
- 1
CatchIT Spaces Zen-TMP
무료 - 2
Tractor GPS
무료 - 3
Wiggler - The mouse moving app
무료 - 4
Share via Clipboard
무료 - 5
Voice Note+
무료 - 6
SunriseClock
무료
최고 평점 앱
- 1
밀리의 서재
무료 - 2
Minecraft Education
무료 - 3
디지털교과서 2018
무료 - 4
스마일 타자연습
무료 - 5
Scratch 3
무료 - 6
타자왕
무료
최고 평점 게임