53:45Long-form

CS6225 Programs and Proofs 42 FStar Effects

Published February 5, 2022

Views 269  |  Likes 4  |  Comments 0
Views#2,285,868Global
Views#831,394Unknown country

Channel

KC SivaramakrishnanKC Sivaramakrishnan
512 subs97 videosMay 2007

Ranked #2,285,868 globally by view count, this video has accumulated 269 views since it was published on Feb 5, 2022.

Views, likes & comments over time

Hover or tap the chart to see values

Views gained (weekly) · 6 mo

Likes gained (weekly) · 6 mo