MIPT-Coq-CyPr-23-Lect-09

About Share Download Add to

Основы инженерии доказательств (Coq) в МФТИ. Темы: примеры индуктивных типов (nat, tree) и доказательств по индукции. Тактика assert.

Share with your friends

Link:

Embed:

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