Ogłoszenia Wykłady i zadania Inne materiały
Coq - strona główna
A. Chlipala Certified Programming with Dependent Types
Kurs Software Foundations w University of Pennsylvania
Proof General