Want to check another podcast?

Enter the RSS feed of a podcast, and see all of their public statistics.

This website doesn't track the visitors or use any cookies. Made by Alex Barredo. Send your feedback to alex@barredo.es.

#99: The Prusti Project: Formal Verification for Rust