2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…