Home Ask AI Library You

Prev

Next

Home Ask AI Library You

Enjoy Podwise!

··:····:··

Podcast Cover

17 Jun 2024

16m

[CoqPL'24] Specifying Smart Contract with Hax and ConCert

ACM SIGPLAN

ACM SIGPLAN - [CoqPL'24] Specifying Smart Contract with Hax and ConCert

Sign in to continue reading, translating and more.

mindmap screenshot

Preview

preview episode cover

How to Get Rich: Every EpisodeNaval

[CoqPL'24] Specifying Smart Contract with Hax and ConCert | ACM SIGPLAN | Podwise