Скачать
[CPP'22] A Drag-and-Drop Proof Tactic
Автор: ACM SIGPLAN
Загружено: 2022-02-03
Просмотров: 199
Описание:
Title:[CPP'22] A Drag-and-Drop Proof Tactic
Authors:Benjamin Werner, Pablo Donato, Pierre-Yves Strub
Description:We explore the features of a user interface where formal proofs can be built through gestural actions. In particular, we show how proof construction steps can be associated to drag-and-drop actions. We argue that this can provide quick and intuitive proof construction steps. This work builds on theoretical tools coming from deep inference. It also resumes and takes over some ideas of the former proof-by-pointing project.
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
![[CPP'22] A Drag-and-Drop Proof Tactic](https://imager.clipsaver.ru/CSZNblBEaDo/max.jpg)
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![[CPP'22] A Machine-Checked Direct Proof of the Steiner-Lehmus Theorem](https://image.4k-video.ru/id-video/UH_BNKk7cT8)
![[CPP'22] The seL4 verification: the art and craft of proof and the reality of commercial s](https://image.4k-video.ru/id-video/QL5oGMxpmJI)
![[POPL'26] Belvédère - CPP (Jan 12th)](https://image.4k-video.ru/id-video/qtOkhNPzuAw)
![[POPL'26] Horizons - VMCAI (Jan 12th)](https://image.4k-video.ru/id-video/R87qG-sMztg)
![[POPL'26] Réfectoire - POPL (Jan 16th)](https://image.4k-video.ru/id-video/i5vlcNRh1tk)
![[POPL'26] Salle 14 - PlanQC (Jan 12th)](https://image.4k-video.ru/id-video/KWZm5wGDqtg)
![[POPL'26] Réfectoire - POPL (Jan 15th)](https://image.4k-video.ru/id-video/k7BnpWQyUCI)