I laud the Metamath proof checker and its excellent book. I am also looking for suggestions on what to discuss next, as I am ready to wrap up this chapter on proof assistants.
Want to check another podcast?
Enter the RSS feed of a podcast, and see all of their public statistics.
