symbolic visualization

generate interactive dependency trees to visualize the proof chain of every proposition