Podstawy języków programowania w systemie Coq

Dodatkowe zasoby

Oprogramowanie

• Coq
• Proof General (plik z konfiguracją proofgeneral-iiuwr.el)