Yannick Forster: System Introductions I - Coq External Video-URL https://youtu.be/6YRiMcv1wLg Preview-Image Search Engine Exclude no
