7 citations · 25 across the 19 of their papers we have counts for
1 paper · 2 filters
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…