Apr
2nd
Wed
2nd
Coq tips
The University of Pennsylvania’s Provers group is pleased to announce a new Coq Tips area on the POPLmark wiki. This sub-wiki is intended to collate information relevant to formalizing programming languages in Coq. Currently we index several insightful coq-club archive threads and provide code for some general purpose tactics.