52 citations · 79 across the 16 of their papers we have counts for
1 paper · 2 filters
Gudmund Grov, Aleks Kissinger, Yuhui Lin
We introduce Tinker, a tool for designing and evaluating proof strategies based on proof-strategy graphs, a formalism previously introduced by the authors. We represent proof strat…