A tactic language for the system Coq (2000)

by D Delahaye
Venue:Lecture notes in computer science