Tactic Programming in Coq

Date: 13:15 25/04-14
Location: Nygaard-192
Host(s): Christian Clausen

Evaluation

Login to evaluate.