MIPT-Coq-21-Lect-1

About Share Download Add to

Интерактивное доказывание теорем (Сoq) в МФТИ. Темы: бестиповое лямбда-исчисление; редукции и равенства; нормализация; программирование булевых функций, оператора условного перехода; пары; арифметических функций.

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/ek42dXRvNGZTcnZUQ0lidEswbWZiMWV3TWhpOU5ycXVVZzNDYmVieXU3VT0" 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