44 citations · 108 across the 12 of their papers we have counts for
1 paper · 1 filter
Yutaka Nagashima, Ramana Kumar
We introduce a language, PSL, designed to capture high level proof strategies in Isabelle/HOL. Given a strategy and a proof obligation, PSL's runtime system generates and combines…