Oct 16, 2022
Formal methods formally require impossibly precise definitions
of terms. How do we use them effectively without that?
You can support the podcast and get episodes a week early, by
supporting the Patreon:
If you like the show, consider buying me a coffee:
Original music by Kevin MacLeod.
This podcast is under a Creative Commons Attribution
Non-Commercial International 4.0 License.