Home
Ask AI
Library
You
Mobile App
New
Sign In
Help
Toggle theme
SIGN IN
Prev
Next
Summary
Mindmap
Transcript
Keywords
Highlights
Shownotes
Home
Ask AI
Library
You
Enjoy Podwise!
··:··
··:··
15
30
Enjoy Podwise!
Episode
Transcript
Playlist
[CoqPL'24] VsCoq 2, new foundations | ACM SIGPLAN | Podwise
Prev
Next
YouTube
17 Jun 2024
22m
[CoqPL'24] VsCoq 2, new foundations
ACM SIGPLAN
YouTube
Play
Summary
Mindmap
Transcript
Keywords
Highlights
Shownotes
ACM SIGPLAN - [CoqPL'24] VsCoq 2, new foundations
Sign in to continue reading, translating and more.
Continue
Preview
How to Get Rich: Every Episode
Naval
