"Tactic Learning and Proving for the Coq Proof Assistant."

Lasse Blaauwbroek, Josef Urban, Herman Geuvers (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics