Order Recording
Library
Download Recording App
Contact
References
Česky
|
English
|
Deutsch
Sign In
|
Create Account
SlidesLive
Professional Conference Recording
Sign In
Proof Repair across Type Equivalences
PLDI 2021
Recorded at:
2021-05-24T00:32:45Z
Uploaded at:
2021-05-24T00:41:36Z
Final version:
Yes
Recorder token:
pldi43short__proof-repair-across-type-equiv
Upload dirname:
20210524003245__36795
Share open count:
843×
slideslive-recorder_20210524T003245.063Z_user.webm
slideslive-recorder_20210524T003245.063Z_display.webm