Formalizacja języków programowania w systemie Coq

Goście nie mają prawa dostępu do tego kursu. Proszę się zalogować.