A Tactic Language for the System Coq (2000)

Cached

Download Links

by David Delahaye
Venue:Proceedings of Logic for Programming and Automated Reasoning (LPAR), Reunion Island, volume 1955 of LNCS
Citations:34 - 1 self