Talk page

Title:
Towards Executable Applied Category Theory in Coq

Speaker:
Nicolas Behr

Link:
https://www.youtube.com/watch?v=inAjOcQumas