Strengthening the inversion Tactic in Coq

Author: Anne Mulhern

Paper (pdf)

Suggested Bibtex Entry

Slides