0.5×
0.75×
1×
1.25×
1.5×
1.75×
2×

01-02, First Steps with Stainless

CS-550 Formal Verification

https://tube.switch.ch/videos/c7d203e8

Start playback at current position

Silence audio initially

Start playback automatically
https://tube.switch.ch/videos/c7d203e8

Start playback at current position

Silence audio initially

Start playback automatically

Don’t show title
Download video

13 September 2020, Viktor Kuncak, 319 views

Viewable by everyone. All rights reserved.

Documents

Scala file verified in this video.

1.07 KB