### Description The component should work with NaturalProof model and support rendering of nested proofs. ### Additional Context Check out [Fitch style proof editor](http://intrologic.stanford.edu/logica/homepage/fitch.php) ### Code of Conduct - [x] I agree to follow this project's Code of Conduct
Description
The component should work with NaturalProof model and support rendering of nested proofs.
Additional Context
Check out Fitch style proof editor
Code of Conduct