#65 TLA+, Quint and Formal Verification in the Age of AI - Gabriela Moreira
Type Theory Forall · Pedro Abreu
October 19, 20262h 2m
Audio is streamed directly from the publisher (api.typetheoryforall.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.