Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General.

Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka

Browse the full APLAS paper archive.