Семинар по Coq. Множественные цели на примере ConstantFolding.v
Среда, 10 марта 2021
Онлайн, занятие в zoom
Как бороться с множественными целями в Coq на примере ConstantFolding.v.