the rational proof assistant
@qbar

This project is focused on the creation of an automated theorem prover and proof assistant for generalized deduction systems.