A.: Inductive proof automation for Coq (0)

by S Wilson, J Fleuriot, Smaill
Venue:In: Coq Workshop