2 ms·
Software Foundations in Coq by Michael Ryan Clarkson Textbook: https://clarksmr.github.io/sf-lectures/textbook/lf/deps.html https://clarksmr.github.io/sf-lect
by mirekrusin 4y ago
Software Foundations in Coq
by Michael Ryan Clarkson
Textbook: https://clarksmr.github.io/sf-lectures/textbook/lf/deps.html https://clarksmr.github.io/sf-lectures/textbook/lf/deps.html
Lectures: https://www.youtube.com/playlist?list=PLre5AT9JnKShFK9l9HYzkZugkJSsXioFs https://www.youtube.com/playlist?list=PLre5AT9JnKShFK9l9HYzk...