2 citations · 2 across the 1 of their papers we have counts for
1 paper
James T. Oswald, Brandon Rozek
Graph-based interactive theorem provers offer a visual representation of proofs, explicitly representing the dependencies and inferences between each of the proof steps in a graph…