Семинар по Coq. Множественные цели на примере ConstantFolding.v

Четверг, 05 марта 2020
Таймс, 2 этаж, ауд.204

Описание

Как бороться с множественными целями в Coq на примере ConstantFolding.v.