### Feature Summary The function should accept a propositional formula and return an array of clauses to use in Resolution style proofs ### Additional Context Check out [Stickel converter](http://intrologic.stanford.edu/logica/homepage/stickel.php) ### Code of Conduct - [x] I agree to follow this project's Code of Conduct
Feature Summary
The function should accept a propositional formula and return an array of clauses to use in Resolution style proofs
Additional Context
Check out Stickel converter
Code of Conduct