7 citations · 25 across the 19 of their papers we have counts for
1 paper · 1 filter
Yutaka Nagashima
Despite the recent progress in automatic theorem provers, proof engineers are still suffering from the lack of powerful proof automation. In this position paper we first report our…