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

01-04, Unfolding recursive functions in Stainless

CS-550 Formal Verification

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

Start playback at current position

Silence audio initially

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

Start playback at current position

Silence audio initially

Start playback automatically

Don’t show title
Download video

17 September 2020, Viktor Kuncak, 209 views

Viewable by everyone. All rights reserved.

Documents

Source code illustrating the unfolding

1.5 KB