GitHub repository: zoep/PL2
Primary language: Coq
Created: 2024-10-29T08:39:12Z
Description: Course Material for "Programming Languages II"