MIPT-Coq-CyPr-23-Lect-11

About Share Download Add to

Основы инженерии доказательств (Coq) в МФТИ. Темы: представление кванторов существования и подмножеств с помощью индуктивных типов; индуктивные определения предикатов; тактика exists.

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/YTR4L0NhNktWZm9jdDBiVlI3YjBORXRGNWRSVTl6NlNTRzlaWVg1N3pvbz0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later