Is there a way to draw proof trees with stackedit?

#1

I want to draw diagrams like this .

#2

Try with this Mermaid.
I’m not sure. It’s in stackedit information

Mermaid editor