74 citations · 77 across the 6 of their papers we have counts for
1 paper · 1 filter
Steven Obua, Mark Adams, David Aspinall
Hierarchical proof trees (hiproofs for short) add structure to ordinary proof trees, by allowing portions of trees to be hierarchically nested. The additional structure can be used…