v1v2v3v4 (latest)

Recycling Proof Patterns in Coq: Case Studies

25 January 2013

Papers citing "Recycling Proof Patterns in Coq: Case Studies"

3 / 3 papers shown

Title
Deep Generation of Coq Lemma Names Using Elaborated Terms Pengyu Nie Karl Palmskog Junyi Jessy Li Miloš Gligorić 34 9 0 16 Apr 2020
TacticToe: Learning to Prove with Tactics Thibault Gauthier C. Kaliszyk Josef Urban Ramana Kumar Michael Norrish 71 55 0 02 Apr 2018
Learning to Reason with HOL4 tactics Thibault Gauthier C. Kaliszyk Josef Urban 84 77 0 02 Apr 2018