A reasonable theorem prover for your reasoning tasks! - View it on GitHub