52 citations · 79 across the 16 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 3 cited
Towards Automated Proof Strategy Generalisation
Gudmund Grov, Ewen Maclean
The ability to automatically generalise (interactive) proofs and use such generalisations to discharge related conjectures is a very hard problem which remains unsolved. Here, we d…
cs.LO2013★ 13 cited
A Graphical Language for Proof Strategies
Gudmund Grov, Aleks Kissinger, Yuhui Lin
Complex automated proof strategies are often difficult to extract, visualise, modify, and debug. Traditional tactic languages, often based on stack-based goal propagation, make it…