The QBAR Project
This project is focused on the creation of an automated theorem prover and proof assistant for generalized deduction systems.
qbar 님은 3년 전에 가입했습니다.