5 citations · 6 across the 7 of their papers we have counts for
1 paper · 1 filter
Yutaka Nagashima, Daniel Sebastian Goc
Proof assistants based on expressive logics suffer limited automation for proof search, raising the cost of formal verification based on proof assistants. We address this problem b…