Software Foundations in Coq by Michael Ryan Clarkson Textbook: https://clarksmr....

		mirekrusin on Jan 31, 2023 \| parent \| context \| favorite \| on: Ask HN: What's the best lecture series you've seen... Software Foundations in Coq by Michael Ryan Clarkson Textbook: https://clarksmr.github.io/sf-lectures/textbook/lf/deps.html Lectures: https://www.youtube.com/playlist?list=PLre5AT9JnKShFK9l9HYzk...