16 citations · 22 across the 5 of their papers we have counts for
1 paper · 1 filter
Yutaka Nagashima, Julian Parsert
We present PGT, a Proof Goal Transformer for Isabelle/HOL. Given a proof goal and its background context, PGT attempts to generate conjectures from the original goal by transformin…