Proof Weaving Part of the First Informal Workshop on Mechanizing Metatheory

Paper (pdf)

Powerpoint Presentation

Suggested Bibtex Entry