4 ms·
Software Foundations in Coq by Michael Ryan Clarkson [0] is great introduction to this topic. [0] https://www.youtube.com/playlist?list=PLre5AT9JnKShFK9l9HYzkZ
by mirekrusin 3y ago
Software Foundations in Coq by Michael Ryan Clarkson [0] is great introduction to this topic.
[0] https://www.youtube.com/playlist?list=PLre5AT9JnKShFK9l9HYzkZugkJSsXioFs https://www.youtube.com/playlist?list=PLre5AT9JnKShFK9l9HYzk...