Construction of a path with winding number 1

preview_player
Показать описание
This demo shows how to prove the existence of a path with winding number one by construction in Ariadne.
Рекомендации по теме
welcome to shbcf.ru