MIPT-Coq-23-Lect-01

About Share Download Add to

Интерактивное доказывание теорем (Coq) в МФТИ. Темы: общее введение; неформальное введение в лямбда-исчисления. ======== Если видео показалось вам полезным, вы можете поддержать автора: === If you have found this video helpful, you might want to support the author: === BTC: bc1q3p5x57cppjs0rfgj5f406yrljxylg96seed0t4

Share with your friends

Link:

Embed:

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