GitHub repository: marcbezem/CL-PC22
Primary language: TeX
Description: Coherent Logic at Proof and Computation, 2022