MIPT-Coq-CyPr-23-Lect-09

Основы инженерии доказательств (Coq) в МФТИ. Темы: примеры индуктивных типов (nat, tree) и доказательств по индукции. Тактика assert.
Back to Top