Probably not for 'production' proofs, but there are various online argument tools that might help put together some graphics for you. I haven't tried these – can we brainstorm a list of tools?

https://www.rationaleonline.com/

http://www.phil.cmu.edu/projects/argument_mapping/