Семинар по Coq. Множественные цели на примере ConstantFolding.v
Четверг, 05 марта 2020
Таймс, 2 этаж, ауд.204
Как бороться с множественными целями в Coq на примере ConstantFolding.v.