### Feature Summary Resolution calculus should include ResolutionProof and ResolutionProofBuilder class, like in Hilbert and Natural systems ### Additional Context Check out [Robinson Proof Editor](http://intrologic.stanford.edu/logica/homepage/robinson.php) ### Code of Conduct - [x] I agree to follow this project's Code of Conduct
Feature Summary
Resolution calculus should include ResolutionProof and ResolutionProofBuilder class, like in Hilbert and Natural systems
Additional Context
Check out Robinson Proof Editor
Code of Conduct