Since there's a correspondence between proofs and programs (Curry-Howard), maybe you're just looking for a graph-based visual programming language. But given t

Since there's a correspondence between proofs and programs (Curry-Howard), maybe you're just looking for a graph-based visual programming language. But given the failure (of adoption) of dataflow programming languages I don't think there will really be that much of a jump in understanding just by visualizing stuff as graphs.